equal
deleted
inserted
replaced
127 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
127 ISABELLE_SYMBOLS="$ISABELLE_HOME/etc/symbols:$ISABELLE_HOME_USER/etc/symbols" |
128 ISABELLE_ABBREVS="$ISABELLE_HOME/etc/abbrevs:$ISABELLE_HOME_USER/etc/abbrevs" |
128 ISABELLE_ABBREVS="$ISABELLE_HOME/etc/abbrevs:$ISABELLE_HOME_USER/etc/abbrevs" |
129 |
129 |
130 |
130 |
131 ### |
131 ### |
132 ### Misc old-style settings |
132 ### Misc settings |
133 ### |
133 ### |
134 |
134 |
135 # Standard ML of New Jersey (slow!) |
|
136 #ML_SYSTEM=smlnj-110 |
|
137 #ML_HOME="/usr/local/smlnj/bin" |
|
138 #ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024" |
|
139 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
|
140 #SMLNJ_CYGWIN_RUNTIME=1 |
|
141 |
|
142 # Misc programming languages |
|
143 #ISABELLE_GHC="/usr/bin/ghc" |
135 #ISABELLE_GHC="/usr/bin/ghc" |
144 #ISABELLE_OCAML="/usr/bin/ocaml" |
136 #ISABELLE_OCAML="/usr/bin/ocaml" |
145 #ISABELLE_SWIPL="/usr/bin/swipl" |
137 #ISABELLE_SWIPL="/usr/bin/swipl" |