1
# -*- shell-script -*-
2
# $Id$
3
#
4
# Isabelle user settings sample -- for use in ~/isabelle/etc/settings
5
6
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
7
HOL_USEDIR_OPTIONS="-p 1"
8
ISABELLE_LOGIC=HOL