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.
tuned;
authorwenzelm
Tue, 05 Dec 2017 15:19:32 +0100
changeset 67137 f2384ad1dff4
parent 67136 1368cfa92b7a
child 67138 82283d52b4d6
tuned;
etc/options file | annotate | diff | comparison | revisions 
--- a/etc/options	Tue Dec 05 14:03:10 2017 +0100
+++ b/etc/options	Tue Dec 05 15:19:32 2017 +0100
@@ -10,7 +10,7 @@
 option document_output : string = ""
   -- "document output directory (default within $ISABELLE_BROWSER_INFO tree)"
 option document_variants : string = "document"
-  -- "option alternative document variants (separated by colons)"
+  -- "alternative document variants (separated by colons)"
 
 option thy_output_display : bool = false
   -- "indicate output as multi-line display-style material"
isabelle