[isabelle-dev] Sum_of_Squares_Remote.thy dropout

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Fri Feb 21 20:19:49 CET 2014


Am 21.02.2014 um 20:13 schrieb Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de>:
>> *** Prover failed: error submitting job
>> *** At command "by" (line 28 of "~~/src/HOL/Library/Sum_of_Squares_Remote.thy")
>> Unfinished session(s): HOL-Library
>> 0:07:48 elapsed time, 0:19:43 cpu time, factor 2.52
> 
> Three weeks ago a run with ISABELLE_FULL_TEST=true used to be succesful.
> Any ideas what could have changed?

I'd guess the server is down?

Jasmin




More information about the isabelle-dev mailing list