Re: [isabelle] (no subject)

On Wed, 27 Aug 2008, Jan-Georg Smaus wrote:

> I would like to point out that in the Isabelle 2008 library, in
> it says that
> "uses ($ISABELLE_HOME/src/Provers/trancl.ML)"
> but in fact, this is a dead link.

Thanks.  We have noticed already that all ML links are broken, and fixed 
it recently, i.e. it will work again in the next release.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.