# -*- shell-script -*-
# $Id: user-settings.sample,v 1.19 2005/06/02 16:29:47 wenzelm Exp $
#
# Isabelle user settings sample -- for use in ~/isabelle/etc/settings

ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
HOL_USEDIR_OPTIONS="-p 1"
ISABELLE_LOGIC=HOL