You send an email to supp...@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-...@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