equal
deleted
inserted
replaced
221 use OS.Process.system etc. directly. |
221 use OS.Process.system etc. directly. |
222 |
222 |
223 |
223 |
224 *** System *** |
224 *** System *** |
225 |
225 |
226 * System: removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the |
226 * YXML notation provides a simple and efficient alternative to |
227 documented way of changing the user's settings is via |
227 standard XML transfer syntax. See src/Pure/General/yxml.ML and |
|
228 isatool yxml as described in the Isabelle system manual. |
|
229 |
|
230 * Removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the documented |
|
231 way of changing the user's settings is via |
228 ISABELLE_HOME_USER/etc/settings, which is a fully featured bash |
232 ISABELLE_HOME_USER/etc/settings, which is a fully featured bash |
229 script. |
233 script. |
230 |
234 |
231 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- |
235 * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- |
232 in accordance with Proof General 3.7, which prefers GNU emacs. |
236 in accordance with Proof General 3.7, which prefers GNU emacs. |