[isabelle-dev] Sum of Squares server down?

Makarius 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 mailing list