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/PIDE/session.scala
changeset 72116 7773ec172572
parent 72115 c998827f1df9
child 72156 065dcd80293e 
--- a/src/Pure/PIDE/session.scala	Fri Aug 07 21:21:44 2020 +0200
+++ b/src/Pure/PIDE/session.scala	Fri Aug 07 22:19:32 2020 +0200
@@ -495,9 +495,6 @@
               case Markup.Theory_Timing(props) =>
                 theory_timings.post(Session.Theory_Timing(props))
 
-              case Markup.ML_Statistics(props) =>
-                runtime_statistics.post(Session.Runtime_Statistics(props))
-
               case Markup.Task_Statistics(props) =>
                 task_statistics.post(Session.Task_Statistics(props))
isabelle