# HG changeset patch
# User wenzelm
# Date 968004087 -7200
# Node ID 71de955e8fc92621673b6e05528b8373682a59d8
# Parent  6ad158576972c62f10f900fc73fc31956f924890
GPLed;

diff -r 6ad158576972 -r 71de955e8fc9 configure
--- a/configure	Sun Sep 03 20:00:34 2000 +0200
+++ b/configure	Sun Sep 03 20:01:27 2000 +0200
@@ -1,6 +1,8 @@
 #!/bin/sh
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # configure - adapt Isabelle distribution to system environment
 
diff -r 6ad158576972 -r 71de955e8fc9 etc/settings
--- a/etc/settings	Sun Sep 03 20:00:34 2000 +0200
+++ b/etc/settings	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # Isabelle settings -- site defaults.
 # Do *NOT* copy this file into your personal isabelle directory!!!
diff -r 6ad158576972 -r 71de955e8fc9 etc/user-settings.sample
--- a/etc/user-settings.sample	Sun Sep 03 20:00:34 2000 +0200
+++ b/etc/user-settings.sample	Sun Sep 03 20:01:27 2000 +0200
@@ -1,10 +1,11 @@
 #
 # $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_USEDIR_OPTIONS="-i true -d pdf"
-
-#ISABELLE_LOGIC=ZF
+ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
+ISABELLE_LOGIC=HOL
diff -r 6ad158576972 -r 71de955e8fc9 lib/encodings/isabelle-0
--- a/lib/encodings/isabelle-0	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/encodings/isabelle-0	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # The isabelle-0 encoding table.
 #
diff -r 6ad158576972 -r 71de955e8fc9 lib/fontserver/config-sample
--- a/lib/fontserver/config-sample	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/fontserver/config-sample	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 #
 # $Id$
+# Author: Markus Wenzel, TU Muenchen
+# License: GPL (GNU GENERAL PUBLIC LICENSE)
 #
 # X11 font server sample configuration
 # (Cf. your local man page of 'xfs' or 'fs'!)
diff -r 6ad158576972 -r 71de955e8fc9 lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% macros for Isabelle generated LaTeX output
 %%
diff -r 6ad158576972 -r 71de955e8fc9 lib/texinputs/isabellesym.sty
--- a/lib/texinputs/isabellesym.sty	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/texinputs/isabellesym.sty	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% definitions of standard Isabelle symbols
 %%
diff -r 6ad158576972 -r 71de955e8fc9 lib/texinputs/pdfsetup.sty
--- a/lib/texinputs/pdfsetup.sty	Sun Sep 03 20:00:34 2000 +0200
+++ b/lib/texinputs/pdfsetup.sty	Sun Sep 03 20:01:27 2000 +0200
@@ -1,5 +1,7 @@
 %%
 %% $Id$
+%% Author: Markus Wenzel, TU Muenchen
+%% License: GPL (GNU GENERAL PUBLIC LICENSE)
 %%
 %% conditional url/hyperref setup
 %%