etc/user-settings.sample
author wenzelm
Fri, 10 Nov 2000 19:02:37 +0100
changeset 10432 3dfbc913d184
parent 9818 71de955e8fc9
child 11062 e86340dc1d28
permissions -rw-r--r--
added axclass inverse and consts inverse, divide (infix "/"); moved axclass power to Nat.thy;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     1
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     2
# $Id$
9818
wenzelm
parents: 9226
diff changeset
     3
# Author: Markus Wenzel, TU Muenchen
wenzelm
parents: 9226
diff changeset
     4
# License: GPL (GNU GENERAL PUBLIC LICENSE)
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     5
#
3179
c8263805dede tuned comment;
wenzelm
parents: 3178
diff changeset
     6
# Isabelle user settings sample (everything commented out)
9226
wenzelm
parents: 7856
diff changeset
     7
#   -- may be copied to ~/isabelle/etc/settings
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     8
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     9
9818
wenzelm
parents: 9226
diff changeset
    10
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm
parents: 9226
diff changeset
    11
ISABELLE_LOGIC=HOL