Re: [isabelle] Where is isatool usedir -H ?

On Thu, 29 Sep 2005, Nicole Rauch wrote:

> in the Isabelle preview of July 6th I learned about the very useful new
> switch -H of isatool usedir which generates PDF documentation without
> displaying the proofs in the resulting PDF.

> In the Isabelle preview of Sept 14th this switch is no longer there.

It has been superceded by the -V switch, which is even more useful.  I.e.  
you may now tell LaTeX to print all proofs in red, if you like.


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