added ISABELLE_HTML;
authorwenzelm
Wed Dec 18 12:46:59 1996 +0100 (1996-12-18)
changeset 24365be639c601b2
parent 2435 750a73406623
child 2437 63249c1c544a
added ISABELLE_HTML;
etc/user-settings.sample
     1.1 --- a/etc/user-settings.sample	Wed Dec 18 12:46:34 1996 +0100
     1.2 +++ b/etc/user-settings.sample	Wed Dec 18 12:46:59 1996 +0100
     1.3 @@ -1,10 +1,17 @@
     1.4  #
     1.5  # $Id$
     1.6  #
     1.7 -# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
     1.8 +# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
     1.9  #
    1.10  
    1.11  ###
    1.12 +### Compilation options
    1.13 +###
    1.14 +
    1.15 +#ISABELLE_HTML=false
    1.16 +
    1.17 +
    1.18 +###
    1.19  ### Heap files
    1.20  ###
    1.21