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.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
