changeset 9818 | 71de955e8fc9 |
parent 9226 | cbe6144f0f15 |
child 11062 | e86340dc1d28 |
--- a/etc/user-settings.sample Sun Sep 03 20:00:34 2000 +0200 +++ b/etc/user-settings.sample Sun Sep 03 20:01:27 2000 +0200 @@ -1,10 +1,11 @@ # # $Id$ +# Author: Markus Wenzel, TU Muenchen +# License: GPL (GNU GENERAL PUBLIC LICENSE) # # Isabelle user settings sample (everything commented out) # -- may be copied to ~/isabelle/etc/settings # -#ISABELLE_USEDIR_OPTIONS="-i true -d pdf" - -#ISABELLE_LOGIC=ZF +ISABELLE_USEDIR_OPTIONS="-i true -d pdf" +ISABELLE_LOGIC=HOL