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.
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
authorwenzelm
Sat, 08 Sep 2001 20:02:59 +0200
changeset 11552 aca5398ccd35
parent 11551 8b5064d1c5c9
child 11553 87b585079d01
ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Sep 08 20:02:09 2001 +0200
+++ b/etc/settings	Sat Sep 08 20:02:59 2001 +0200
@@ -149,10 +149,10 @@
 ###
 
 # The null interface: pass-through to 'isabelle'.
-#ISABELLE_INTERFACE=none
+ISABELLE_INTERFACE=none
 
 # Simple xterm based interface.
-ISABELLE_INTERFACE=xterm
+#ISABELLE_INTERFACE=xterm
 ISABELLE_XTERM_OPTIONS=""
 
 # Emacs running Isamode.
isabelle