Added function for "normalizing" absolute paths (i.e. dereferencing of
symbolic links; the functions in path.ML cannot do this). This is used
by function full_path.
# -*- shell-script -*-
# $Id$
#
# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
HOL_PROOF_OBJECTS="-p 1"
ISABELLE_LOGIC=HOL