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 76195 a1f458f089b9
parent 76190 c72c5407a86f
child 76212 f2094906e491 
--- a/etc/options	Tue Sep 20 20:12:01 2022 +0000
+++ b/etc/options	Thu Sep 22 10:38:52 2022 +0200
@@ -170,10 +170,10 @@
 section "PIDE Build"
 
 option pide_reports : bool = true
-  -- "report PIDE markup"
+  -- "report PIDE markup (in ML)"
 
 option build_pide_reports : bool = true
-  -- "report PIDE markup in batch build"
+  -- "report PIDE markup (in batch build)"
 
 
 section "Editor Session"
isabelle