| changeset 49744 | 093eb27374bb |
| parent 45991 | 3498077f2012 |
| 49743:f6bee47063dc | 49744:093eb27374bb |
|---|---|
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 # |
2 # |
3 # Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/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_BUILD_OPTIONS="browser_info document=pdf" |
6 ISABELLE_LOGIC=HOL |
6 ISABELLE_LOGIC=HOL |