equal
deleted
inserted
replaced
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
|
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
3 # |
5 # |
4 # Isabelle user settings sample (everything commented out) |
6 # Isabelle user settings sample (everything commented out) |
5 # -- may be copied to ~/isabelle/etc/settings |
7 # -- may be copied to ~/isabelle/etc/settings |
6 # |
8 # |
7 |
9 |
8 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
10 ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
9 |
11 ISABELLE_LOGIC=HOL |
10 #ISABELLE_LOGIC=ZF |
|