Re: [isabelle] Very simple ?



On 28 Mar 2008, at 9:53, Tobias Nipkow wrote:

In PG, Isabelle -> Commands -> display draft should generate a pdf and start a pdf viewer. Very handy.


Alternatively, quick_and_dirty := true; in your ROOT.ML should do the trick.

Clemens







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