[isabelle-dev] Sum_of_Squares_Remote.thy dropout

[Tobias Nipkow]

You send an email to support at neos-server.org. But this time I just waited and it
came back.

Tobias

On 05/03/2014 15:59, Makarius wrote:
> On Fri, 21 Feb 2014, Florian Haftmann wrote:
> 
>> Referring to isabelle hg id eb07b0acbebc:
>>
>>> HOL-Library FAILED
>>> (see also
>>> /mnt/home/haftmann/data/isabelle/master/heaps/polyml-5.5.1_x86-linux/log/HOL-Library)
>>>
>>>
>>> *** At command "by" (line 22 of "~~/src/HOL/Library/Sum_of_Squares_Remote.thy")
>>> ### Error: error submitting job
>>> *** Prover failed: error submitting job
> 
> The problem has disappeared some days ago.  Did the CSDP server recover
> spontaneously, or has anybody kicked it?  How does that work?
> 
> 
>     Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev