| changeset 2915 | 4d2d409fe2ea |
| parent 2786 | b36ca42c409a |
| child 2968 | 8ba30b031f31 |
| 2914:01d24f98528f | 2915:4d2d409fe2ea |
|---|---|
37 #ML_HOME=/usr/local/sml109/bin |
37 #ML_HOME=/usr/local/sml109/bin |
38 #ML_OPTIONS="@SMLdebug=/dev/null" |
38 #ML_OPTIONS="@SMLdebug=/dev/null" |
39 |
39 |
40 |
40 |
41 ### |
41 ### |
42 ### Compilation options |
42 ### Misc options |
43 ### |
43 ### |
44 |
44 |
45 # HTML generation (should be 'true' or 'false'). |
45 ISABELLE_USEDIR_OPTIONS="" |
46 ISABELLE_HTML=false |
|
47 |
46 |
48 |
47 |
49 ### |
48 ### |
50 ### Misc path settings etc. |
49 ### Misc path settings etc. |
51 ### |
50 ### |