equal
deleted
inserted
replaced
57 |
57 |
58 ### |
58 ### |
59 ### Document preparation (cf. isabelle latex/document) |
59 ### Document preparation (cf. isabelle latex/document) |
60 ### |
60 ### |
61 |
61 |
62 ISABELLE_LATEX="latex -file-line-error" |
|
63 ISABELLE_PDFLATEX="pdflatex -file-line-error" |
62 ISABELLE_PDFLATEX="pdflatex -file-line-error" |
64 ISABELLE_BIBTEX="bibtex" |
63 ISABELLE_BIBTEX="bibtex" |
65 ISABELLE_MAKEINDEX="makeindex" |
64 ISABELLE_MAKEINDEX="makeindex" |
66 ISABELLE_EPSTOPDF="epstopdf" |
65 ISABELLE_EPSTOPDF="epstopdf" |
67 |
66 |
68 if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then |
67 if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then |
69 ISABELLE_LATEX="latex -c-style-errors" |
|
70 ISABELLE_PDFLATEX="pdflatex -c-style-errors" |
68 ISABELLE_PDFLATEX="pdflatex -c-style-errors" |
71 fi |
69 fi |
72 |
70 |
73 |
71 |
74 ### |
72 ### |
138 ISABELLE_OPEN="cygstart" |
136 ISABELLE_OPEN="cygstart" |
139 ;; |
137 ;; |
140 esac |
138 esac |
141 |
139 |
142 PDF_VIEWER="$ISABELLE_OPEN" |
140 PDF_VIEWER="$ISABELLE_OPEN" |
143 DVI_VIEWER="$ISABELLE_OPEN" |
|
144 |
141 |
145 |
142 |
146 ### |
143 ### |
147 ### Symbol rendering |
144 ### Symbol rendering |
148 ### |
145 ### |