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.
changed xterm geometry;
authorwenzelm
Fri, 20 Dec 1996 16:10:30 +0100
changeset 2466 5220fb014f8a
parent 2465 44ee3255555c
child 2467 357adb429fda
changed xterm geometry;
etc/settings file | annotate | diff | comparison | revisions
etc/user-settings.sample file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/settings	Fri Dec 20 16:10:30 1996 +0100
@@ -76,7 +76,7 @@
 
 # Xterm with symbol font.
 ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.
--- a/etc/user-settings.sample	Fri Dec 20 10:54:01 1996 +0100
+++ b/etc/user-settings.sample	Fri Dec 20 16:10:30 1996 +0100
@@ -29,7 +29,7 @@
 
 # Xterm with symbol font.
 #ISABELLE_INTERFACE=xterm
-#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+#ISABELLE_INTERFACE_OPTIONS="-geometry 80x60"
 #ISABELLE_SYMBOLS=true
 
 # GNU Emacs running Isamode.
isabelle