proper context for various Thy_Output options, via official configuration options in ML and Isar;
12 include ../Makefile.in
16 FILES = Locales/document/root.tex Locales/document/root.bib \
17 Locales/document/session.tex Locales/document/Examples.tex \
18 Locales/document/Examples1.tex Locales/document/Examples2.tex \
19 Locales/document/Examples3.tex \
20 ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty
25 cd Locales/document && \
31 mv Locales/document/root.dvi $(NAME).dvi
36 cd Locales/document && \
42 mv Locales/document/root.pdf $(NAME).pdf