Re: [isabelle] Hyperlinked ZF?

--- On Wed, 12/15/10, Alexander Krauss <krauss at> 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.



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