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;
authorwenzelm
Thu, 22 May 1997 11:20:41 +0200
changeset 3289 8c947c178f29
parent 3288 f38eb5eb9fac
child 3290 285516734f07
tuned;
etc/user-settings.sample file | annotate | diff | comparison | revisions 
--- a/etc/user-settings.sample	Thu May 22 11:16:24 1997 +0200
+++ b/etc/user-settings.sample	Thu May 22 11:20:41 1997 +0200
@@ -30,8 +30,6 @@
 
 # Simple xterm based interface.
 #ISABELLE_INTERFACE=xterm
-#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
 
-# GNU Emacs running Isamode.
+# Emacs running Isamode.
 #ISABELLE_INTERFACE=emacs
-#ISABELLE_INTERFACE_OPTIONS=""
isabelle