wneuper/isa: etc/user-settings.sample@6ec757011ad6

etc/user-settings.sample

renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;

     1 # -*- shell-script -*-

     2 # $Id$

3 #

     4 # Isabelle user settings sample -- for use in ~/isabelle/etc/settings

     6 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"

     7 HOL_USEDIR_OPTIONS="-p 1"

     8 ISABELLE_LOGIC=HOL

wneuper/isa