1.1 --- a/configure Sun Sep 03 20:00:34 2000 +0200
1.2 +++ b/configure Sun Sep 03 20:01:27 2000 +0200
1.3 @@ -1,6 +1,8 @@
1.4 #!/bin/sh
1.5 #
1.6 # $Id$
1.7 +# Author: Markus Wenzel, TU Muenchen
1.8 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
1.9 #
1.10 # configure - adapt Isabelle distribution to system environment
1.11
2.1 --- a/etc/settings Sun Sep 03 20:00:34 2000 +0200
2.2 +++ b/etc/settings Sun Sep 03 20:01:27 2000 +0200
2.3 @@ -1,5 +1,7 @@
2.4 #
2.5 # $Id$
2.6 +# Author: Markus Wenzel, TU Muenchen
2.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
2.8 #
2.9 # Isabelle settings -- site defaults.
2.10 # Do *NOT* copy this file into your personal isabelle directory!!!
3.1 --- a/etc/user-settings.sample Sun Sep 03 20:00:34 2000 +0200
3.2 +++ b/etc/user-settings.sample Sun Sep 03 20:01:27 2000 +0200
3.3 @@ -1,10 +1,11 @@
3.4 #
3.5 # $Id$
3.6 +# Author: Markus Wenzel, TU Muenchen
3.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
3.8 #
3.9 # Isabelle user settings sample (everything commented out)
3.10 # -- may be copied to ~/isabelle/etc/settings
3.11 #
3.12
3.13 -#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
3.14 -
3.15 -#ISABELLE_LOGIC=ZF
3.16 +ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
3.17 +ISABELLE_LOGIC=HOL
4.1 --- a/lib/encodings/isabelle-0 Sun Sep 03 20:00:34 2000 +0200
4.2 +++ b/lib/encodings/isabelle-0 Sun Sep 03 20:01:27 2000 +0200
4.3 @@ -1,5 +1,7 @@
4.4 #
4.5 # $Id$
4.6 +# Author: Markus Wenzel, TU Muenchen
4.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
4.8 #
4.9 # The isabelle-0 encoding table.
4.10 #
5.1 --- a/lib/fontserver/config-sample Sun Sep 03 20:00:34 2000 +0200
5.2 +++ b/lib/fontserver/config-sample Sun Sep 03 20:01:27 2000 +0200
5.3 @@ -1,5 +1,7 @@
5.4 #
5.5 # $Id$
5.6 +# Author: Markus Wenzel, TU Muenchen
5.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
5.8 #
5.9 # X11 font server sample configuration
5.10 # (Cf. your local man page of 'xfs' or 'fs'!)
6.1 --- a/lib/texinputs/isabelle.sty Sun Sep 03 20:00:34 2000 +0200
6.2 +++ b/lib/texinputs/isabelle.sty Sun Sep 03 20:01:27 2000 +0200
6.3 @@ -1,5 +1,7 @@
6.4 %%
6.5 %% $Id$
6.6 +%% Author: Markus Wenzel, TU Muenchen
6.7 +%% License: GPL (GNU GENERAL PUBLIC LICENSE)
6.8 %%
6.9 %% macros for Isabelle generated LaTeX output
6.10 %%
7.1 --- a/lib/texinputs/isabellesym.sty Sun Sep 03 20:00:34 2000 +0200
7.2 +++ b/lib/texinputs/isabellesym.sty Sun Sep 03 20:01:27 2000 +0200
7.3 @@ -1,5 +1,7 @@
7.4 %%
7.5 %% $Id$
7.6 +%% Author: Markus Wenzel, TU Muenchen
7.7 +%% License: GPL (GNU GENERAL PUBLIC LICENSE)
7.8 %%
7.9 %% definitions of standard Isabelle symbols
7.10 %%
8.1 --- a/lib/texinputs/pdfsetup.sty Sun Sep 03 20:00:34 2000 +0200
8.2 +++ b/lib/texinputs/pdfsetup.sty Sun Sep 03 20:01:27 2000 +0200
8.3 @@ -1,5 +1,7 @@
8.4 %%
8.5 %% $Id$
8.6 +%% Author: Markus Wenzel, TU Muenchen
8.7 +%% License: GPL (GNU GENERAL PUBLIC LICENSE)
8.8 %%
8.9 %% conditional url/hyperref setup
8.10 %%