Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
changeset 52746 eec610972763
parent 52715 8979d830950b
child 52759 a20631db9c8a 
--- a/etc/options	Sat Jul 27 22:16:04 2013 +0200
+++ b/etc/options	Sat Jul 27 22:20:25 2013 +0200
@@ -6,7 +6,7 @@
   -- "generate theory browser information"
 
 option document : string = ""
-  -- "build document in given format: pdf, dvi, dvi.gz, ps, ps.gz, or false"
+  -- "build document in given format: pdf, dvi, false"
 option document_output : string = ""
   -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
 option document_variants : string = "document"
isabelle