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 72692 22aeec526ffd
parent 72683 b5e6f0d137a7
child 72693 0201ae367518 
--- a/src/Pure/Tools/build.scala	Mon Nov 23 13:52:14 2020 +0100
+++ b/src/Pure/Tools/build.scala	Mon Nov 23 15:14:58 2020 +0100
@@ -202,7 +202,7 @@
       options +
         "completion_limit=0" +
         "editor_tracing_messages=0" +
-        "pide_reports=false"
+        "pide_reports=false"  // FIXME
 
     val store = Sessions.store(build_options)
isabelle