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
> 
> http://isabelle.in.tum.de/library/HOL/Transitive_Closure.html 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.


	Makarius






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