[isabelle-dev] Sum of Squares server down?
makarius at sketis.net
Mon Sep 22 22:23:54 CEST 2014
On Mon, 22 Sep 2014, Makarius wrote:
> I have the component already -- it was much easier to make than the
> cumulative mail traffic about this topic. I merely need to test it a
> bit more, before it becomes a standard component for everybody.
See also Isabelle/00bf84d3f526.
> So far the conclusion on this thread: the NEOS server has no purpose
> anymore and can be removed.
As usual, I leave a bit of time to come up with reasons why the server
still has a purpose, before removing it.
More information about the isabelle-dev