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.
src/Pure/Tools/build.scala
changeset 72136 98dca728fc9c
parent 72116 7773ec172572
child 72212 53e8858b839f 
--- a/src/Pure/Tools/build.scala	Wed Aug 12 11:22:11 2020 +0200
+++ b/src/Pure/Tools/build.scala	Wed Aug 12 11:26:01 2020 +0200
@@ -493,7 +493,6 @@
   {
     val build_options =
       options +
-        "ML_statistics" +
         "completion_limit=0" +
         "editor_tracing_messages=0" +
         "pide_reports=false"
isabelle