equal
deleted
inserted
replaced
6 # * See the "system" manual for explanations on Isabelle settings |
6 # * See the "system" manual for explanations on Isabelle settings |
7 # * DO NOT EDIT the repository copy of this file! |
7 # * DO NOT EDIT the repository copy of this file! |
8 # * DO NOT COPY this file into your ~/.isabelle directory! |
8 # * DO NOT COPY this file into your ~/.isabelle directory! |
9 |
9 |
10 ### |
10 ### |
11 ### JVM components (Scala or Java) |
11 ### Isabelle/Scala |
12 ### |
12 ### |
13 |
13 |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" |
14 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130" |
15 |
15 |
16 |
16 |
38 ISABELLE_LATEX="latex" |
38 ISABELLE_LATEX="latex" |
39 ISABELLE_PDFLATEX="pdflatex" |
39 ISABELLE_PDFLATEX="pdflatex" |
40 ISABELLE_BIBTEX="bibtex" |
40 ISABELLE_BIBTEX="bibtex" |
41 ISABELLE_MAKEINDEX="makeindex" |
41 ISABELLE_MAKEINDEX="makeindex" |
42 ISABELLE_EPSTOPDF="epstopdf" |
42 ISABELLE_EPSTOPDF="epstopdf" |
43 |
|
44 # Paranoia setting for strange latex installations ... |
|
45 #unset TEXMF |
|
46 |
43 |
47 |
44 |
48 ### |
45 ### |
49 ### Misc path settings |
46 ### Misc path settings |
50 ### |
47 ### |
104 ;; |
101 ;; |
105 esac |
102 esac |
106 |
103 |
107 # DVI file viewer (command-line to eval) |
104 # DVI file viewer (command-line to eval) |
108 DVI_VIEWER=xdvi |
105 DVI_VIEWER=xdvi |
109 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" |
|
110 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7" |
|
111 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" |
|
112 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" |
|
113 |
106 |
114 |
107 |
115 ### |
108 ### |
116 ### Rendering information |
109 ### Rendering information |
117 ### |
110 ### |