| changeset 2969 | 4c8d60b01ef9 |
| parent 2968 | 8ba30b031f31 |
| child 3009 | 38c0b6dbd24f |
| 2968:8ba30b031f31 | 2969:4c8d60b01ef9 |
|---|---|
96 ISABELLE_INTERFACE_OPTIONS="" |
96 ISABELLE_INTERFACE_OPTIONS="" |
97 |
97 |
98 # GNU Emacs running Isamode. |
98 # GNU Emacs running Isamode. |
99 #ISABELLE_INTERFACE=emacs |
99 #ISABELLE_INTERFACE=emacs |
100 #ISABELLE_INTERFACE_OPTIONS="" |
100 #ISABELLE_INTERFACE_OPTIONS="" |
101 #ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |
101 ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode |