GPLed;
authorwenzelm
Sun Sep 03 20:01:27 2000 +0200 (2000-09-03)
changeset 981871de955e8fc9
parent 9817 6ad158576972
child 9819 e9fb6d44a490
GPLed;
configure
etc/settings
etc/user-settings.sample
lib/encodings/isabelle-0
lib/fontserver/config-sample
lib/texinputs/isabelle.sty
lib/texinputs/isabellesym.sty
lib/texinputs/pdfsetup.sty
     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  %%