builtin isabelle_tool for ML and Scala -- avoids excessive shell script (especially important for Cygwin);
## targets
default: dvi
## dependencies
include ../Makefile.in
NAME = main
FILES = ../isabelle.sty ../isabellesym.sty ../pdfsetup.sty $(NAME).tex \
Docs/document/Main_Doc.tex
dvi: $(NAME).dvi
$(NAME).dvi: $(FILES)
$(LATEX) $(NAME)
pdf: $(NAME).pdf
$(NAME).pdf: $(FILES)
$(PDFLATEX) $(NAME)