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