--- 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
--- 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!!!
--- 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
--- 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.
#
--- 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'!)
--- 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
%%
--- 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
%%
--- 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
%%