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.
added dvi viewer alternative;
authorwenzelm
Tue, 07 Jan 1997 09:04:53 +0100
changeset 2476 dae7f8ca5001
parent 2475 36bdba95e170
child 2477 ff44d0e1953a
added dvi viewer alternative;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Jan 07 09:03:53 1997 +0100
+++ b/etc/settings	Tue Jan 07 09:04:53 1997 +0100
@@ -63,6 +63,7 @@
 ISABELLE_DOCS=$ISABELLE_HOME/doc
 
 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
+#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
isabelle