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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and