etc/user-settings.sample
author wenzelm
Sun Sep 03 20:01:27 2000 +0200 (2000-09-03)
changeset 9818 71de955e8fc9
parent 9226 cbe6144f0f15
child 11062 e86340dc1d28
permissions -rw-r--r--
GPLed;
wenzelm@2427
     1
#
wenzelm@2427
     2
# $Id$
wenzelm@9818
     3
# Author: Markus Wenzel, TU Muenchen
wenzelm@9818
     4
# License: GPL (GNU GENERAL PUBLIC LICENSE)
wenzelm@2427
     5
#
wenzelm@3179
     6
# Isabelle user settings sample (everything commented out)
wenzelm@9226
     7
#   -- may be copied to ~/isabelle/etc/settings
wenzelm@2427
     8
#
wenzelm@2427
     9
wenzelm@9818
    10
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm@9818
    11
ISABELLE_LOGIC=HOL