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.
improved DVI_VIEWER default;
authorwenzelm
Fri, 25 Apr 1997 18:11:22 +0200
changeset 3062 be354f68d340
parent 3061 25b2a895f864
child 3063 963e3bf01799
improved DVI_VIEWER default;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Apr 25 17:50:55 1997 +0200
+++ b/etc/settings	Fri Apr 25 18:11:22 1997 +0200
@@ -73,9 +73,10 @@
 
 ISABELLE_DOCS=$ISABELLE_HOME/doc
 
+DVI_VIEWER=xdvi
 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
-DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
+#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 
 # How to install the isabelle X11 fonts (can be tricky!).
isabelle