On 10/09/2012 11:20 AM, Makarius wrote:
On Mon, 8 Oct 2012, Brian Huffman wrote:I have a changeset that removes the set-definition features from the {cpo,pcpo,domain}def commands in HOLCF, and it checks successfully on testboard. http://isabelle.in.tum.de/testboard/Isabelle/rev/a093798fa71b Should I go ahead and push this changeset to the current tip?I cannot connect to testboard at the moment, it seems to be in bad shape again.
The testboard should now be in a running state again. Lukas _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
