equal
deleted
inserted
replaced
110 |
110 |
111 ISABELLE_LOGIC=HOL |
111 ISABELLE_LOGIC=HOL |
112 |
112 |
113 |
113 |
114 ### |
114 ### |
115 ### Docs |
115 ### Docs and external files |
116 ### |
116 ### |
117 |
117 |
118 # Where to look for docs (multiple dirs separated by ':'). |
118 # Where to look for docs (multiple dirs separated by ':'). |
119 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
119 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
120 |
120 |
133 ISABELLE_OPEN="cygstart" |
133 ISABELLE_OPEN="cygstart" |
134 ;; |
134 ;; |
135 esac |
135 esac |
136 |
136 |
137 PDF_VIEWER="$ISABELLE_OPEN" |
137 PDF_VIEWER="$ISABELLE_OPEN" |
|
138 |
|
139 ISABELLE_EXTERNAL_FILES="bmp:eps:gif:jpeg:jpg:pdf:png:xmp" |
138 |
140 |
139 |
141 |
140 ### |
142 ### |
141 ### Symbol rendering |
143 ### Symbol rendering |
142 ### |
144 ### |