Re: [isabelle] Hyperlinked ZF?



--- On Wed, 12/15/10, Alexander Krauss <krauss at in.tum.de> wrote:

> Isarmathlib and the software that generates the HTML isn't
> maintained by the Isabelle team. Maybe the author can help
> you there.

The tool that generates HTML from IsarMathLib theories can parse only a limited subset/dialect of Isar that IsarMathLib uses. It can not parse standard Isabelle/ZF theories included in the distribution.

slawekk


      





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