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 for 600dpi fonts;
authorwenzelm
Mon, 09 Dec 1996 16:51:14 +0100
changeset 2352 562cb286138e
parent 2351 873ffd6f70c3
child 2353 7405e3cac88a
added DVI_VIEWER for 600dpi fonts;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Dec 09 16:48:30 1996 +0100
+++ b/etc/settings	Mon Dec 09 16:51:14 1996 +0100
@@ -65,4 +65,5 @@
 
 ## misc
 
-DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
+#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
+DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
isabelle