[isabelle] Folding additional tags?


I'm trying to specify additional tags for the isabelle document
preparation. Simply adding the tags to isatool usedir via -V "/foo" does
not allow folding of commands. 

isabelle.sty checks for isabelletags.sty but this should probably be
generic to different versions (document and outline) so how do I get new
tags into the machinery?

Christian Doczkal

Attachment: smime.p7s
Description: S/MIME cryptographic signature

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