| changeset 14448 | ba25d002a59c |
| parent 11062 | e86340dc1d28 |
| child 16187 | 6ec757011ad6 |
--- a/etc/user-settings.sample Tue Mar 09 04:19:41 2004 +0100 +++ b/etc/user-settings.sample Tue Mar 09 04:22:50 2004 +0100 @@ -4,4 +4,5 @@ # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings ISABELLE_USEDIR_OPTIONS="-i true -d pdf" +HOL_PROOF_OBJECTS="-p 1" ISABELLE_LOGIC=HOL