Re: [isabelle] LaTeX document

Stefan Berghofer wrote:
USEDIR = $(ISATOOL) usedir -v true -i true -d pdf ## -D generated

For more information on the -D option, see also section 2.4 "Running
Isabelle sessions -- isatool usedir" of the Isabelle System Manual,
available at


Dr. Stefan Berghofer               E-Mail: berghofe at
Institut fuer Informatik           Phone: +49 89 289 17328
Technische Universitaet Muenchen   Fax:   +49 89 289 17307
Boltzmannstr. 3                    Room: 01.11.059
85748 Garching, GERMANY  

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