[isabelle-dev] Sum of Squares server down?

[Tobias Nipkow]

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 <makarius at 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-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>