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.
tuned comment;
authorwenzelm
Wed, 14 May 1997 14:33:53 +0200
changeset 3179 c8263805dede
parent 3178 97d2d09e61fe
child 3180 3fff6839c616
tuned comment;
etc/user-settings.sample file | annotate | diff | comparison | revisions 
--- a/etc/user-settings.sample	Wed May 14 11:54:16 1997 +0200
+++ b/etc/user-settings.sample	Wed May 14 14:33:53 1997 +0200
@@ -1,7 +1,8 @@
 #
 # $Id$
 #
-# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
+# Isabelle user settings sample (everything commented out)
+#   -- some parts may be copied into ~/isabelle/etc/settings.
 #
 
 ###
isabelle