[isabelle-dev] typedef (open) legacy

[Lukas Bulwahn]

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