[isabelle-dev] CVS

Makarius makarius at sketis.net
Tue Mar 25 11:54:39 CET 2008

On Tue, 25 Mar 2008, Florian Haftmann wrote:

> Anyway, also the installed version of polyml-5.1. at atbroy100 makes
> problems (locks attached).

I've just tried this myself, but got a quite different error (which I've 
fixed now).


More information about the isabelle-dev mailing list