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
On 22/09/2014 16:52, Makarius 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
It is also my experience that the server is extremely slow.
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
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
On Mon, 22 Sep 2014, Tobias Nipkow wrote:
On 22/09/2014 16:52, Makarius 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
On Mon, 22 Sep 2014, Makarius wrote:
I have the component already -- it was much easier to make than the
cumulative mail traffic about this topic. I merely need to test it a
bit more, before it becomes a standard component for everybody.
See also Isabelle/00bf84d3f526.
So far the
Just for the record, the server was not down. This may have merely been a
timeout problem.
Tobias
On 11/09/2014 14:05, Jasmin Christian Blanchette wrote:
Hi all,
It appears that the Sum of Squares server is down. This makes the build of
the HOL-Library session diverge, at least on my
On 11/09/2014 14:05, Jasmin Christian Blanchette wrote:
Hi all,
It appears that the Sum of Squares server is down. This makes the build of
the HOL-Library session diverge, at least on my machine, when
ISABELLE_FULL_TESTS is enabled. In addition, it appears to be at the source
of the
I have installed a copy of the software locally. Would be worth making this a
component?
--lcp
On 11 Sep 2014, at 13:07, Tobias Nipkow nip...@in.tum.de wrote:
On 11/09/2014 14:05, Jasmin Christian Blanchette wrote:
Hi all,
It appears that the Sum of Squares server is down. This
