Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added ISABELLE_HTML;
authorwenzelm
Wed, 18 Dec 1996 12:46:59 +0100
changeset 2436 5be639c601b2
parent 2435 750a73406623
child 2437 63249c1c544a
added ISABELLE_HTML;
etc/user-settings.sample file | annotate | diff | comparison | revisions 
--- a/etc/user-settings.sample	Wed Dec 18 12:46:34 1996 +0100
+++ b/etc/user-settings.sample	Wed Dec 18 12:46:59 1996 +0100
@@ -1,10 +1,17 @@
 #
 # $Id$
 #
-# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
+# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
 #
 
 ###
+### Compilation options
+###
+
+#ISABELLE_HTML=false
+
+
+###
 ### Heap files
 ###
isabelle