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 72675 cc1347c8c804
parent 72578 3e8395f9093a
child 72728 caa182bdab7a 
--- a/etc/options	Sat Nov 21 16:22:35 2020 +0100
+++ b/etc/options	Sat Nov 21 17:12:17 2020 +0100
@@ -9,8 +9,6 @@
   -- "build document in given format: pdf, dvi, false"
 option document_output : string = ""
   -- "document output directory"
-option document_output_sources : bool = true
-  -- "copy generated sources into document output directory"
 option document_variants : string = "document"
   -- "alternative document variants (separated by colons)"
 option document_tags : string = ""
isabelle