[isabelle-dev] typedef (open) legacy

Lukas Bulwahn bulwahn at in.tum.de
Wed Oct 10 11:02:51 CEST 2012

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.


More information about the isabelle-dev mailing list