check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;
## 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)