author | wenzelm |
Thu, 06 Mar 2008 19:30:37 +0100 | |
changeset 26218 | 2ea9b992508a |
parent 26217 | 227fcadd4be1 |
child 26219 | 2d026932f710 |
--- a/NEWS Thu Mar 06 19:21:29 2008 +0100 +++ b/NEWS Thu Mar 06 19:30:37 2008 +0100 @@ -153,6 +153,11 @@ *** System *** +* System: removed obsolete THIS_IS_ISABELLE_BUILD feature. NB: the +documented way of changing the user's settings is via +ISABELLE_HOME_USER/etc/settings, which is a fully featured bash +script. + * Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs --- in accordance with Proof General 3.7, which prefers GNU emacs.