| changeset 45106 | 3498077f2012 |
| parent 34238 | b28be884edda |
| child 48729 | 093eb27374bb |
| 45105:21c09b727bf3 | 45106:3498077f2012 |
|---|---|
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 # |
2 # |
3 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings |
3 # Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings |
4 |
4 |
5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
6 ISABELLE_LOGIC=HOL |
6 ISABELLE_LOGIC=HOL |