[isabelle-dev] CVS

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

On Tue, 25 Mar 2008, Makarius wrote:

> 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).

BTW, you need to update the RAW target as well.


More information about the isabelle-dev mailing list