changeset 29145 | b1c6f4563df7 |
parent 28914 | f993cbffc42a |
child 31310 | b5365a9db718 |
29144:ca186ebbd824 | 29145:b1c6f4563df7 |
---|---|
1 # -*- shell-script -*- |
1 # -*- shell-script -*- |
2 # $Id$ |
|
3 # |
2 # |
4 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings |
3 # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings |
5 |
4 |
6 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
5 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
7 HOL_USEDIR_OPTIONS="-p 1" |
6 HOL_USEDIR_OPTIONS="-p 1" |