--- a/etc/user-settings.sample Mon Feb 05 14:30:55 2001 +0100
+++ b/etc/user-settings.sample Mon Feb 05 14:31:49 2001 +0100
@@ -1,11 +1,7 @@
-#
+# -*- shell-script -*-
# $Id$
-# Author: Markus Wenzel, TU Muenchen
-# License: GPL (GNU GENERAL PUBLIC LICENSE)
#
-# Isabelle user settings sample (everything commented out)
-# -- may be copied to ~/isabelle/etc/settings
-#
+# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
ISABELLE_LOGIC=HOL