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 72892 d15c0c7ae092
parent 72728 caa182bdab7a
child 72933 fbc1d5ff3683 
--- a/etc/options	Sat Dec 12 20:02:46 2020 +0100
+++ b/etc/options	Sun Dec 13 12:57:58 2020 +0100
@@ -150,7 +150,7 @@
 option pide_reports : bool = true
   -- "report PIDE markup"
 
-option build_pide_reports : bool = false
+option build_pide_reports : bool = true
   -- "report PIDE markup in batch build"
isabelle