| changeset 11062 | e86340dc1d28 |
| parent 9818 | 71de955e8fc9 |
| child 14448 | ba25d002a59c |
| 11061:9b9d48ce3b6c | 11062:e86340dc1d28 |
|---|---|
1 # -*- shell-script -*- |
|
2 # $Id$ |
|
1 # |
3 # |
2 # $Id$ |
4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings |
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
5 # |
|
6 # Isabelle user settings sample (everything commented out) |
|
7 # -- may be copied to ~/isabelle/etc/settings |
|
8 # |
|
9 |
5 |
10 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
6 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
11 ISABELLE_LOGIC=HOL |
7 ISABELLE_LOGIC=HOL |