On 22/09/2014 17:55, Lawrence Paulson wrote: > It is also my experience that the server is extremely slow.
It's a fact. Making it a component is clearly the right thing to do. Tobias > Larry > > On 22 Sep 2014, at 15:52, Makarius <makar...@sketis.net> wrote: > >> On Thu, 11 Sep 2014, Lawrence Paulson wrote: >> >>> I have installed a copy of the software locally. Would be worth making this >>> a component? >> >> This canonical question has come up each time, after someone spent >> significant time with the NEOS/CSDP server. I have started to experiment >> myself with the binary downloads from https://projects.coin-or.org/Csdp >> >> So far it works fine, but I need to do more multi-platform tests. >> >> Despite the warnings on the download site about unoptimized executables, >> they are *much* faster than the server. So what is the purpose of the server >> anyway? It did not only waste our time in the maintenance, but also time of >> potential users. >> >> So the NEOS/CSDP server setup looks like a canonical candidate for deletion. >> That would also allow to remove Python from the Windows/Cygwin app bundle >> and save many MBs of disk space. >> >> >> Makarius > > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev