Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comments;
authorwenzelm
Mon, 28 Apr 2014 15:20:59 +0200
changeset 56772 725a192f8081
parent 56771 28d62a5b07e8
child 56773 5c7ade7a1e74
tuned comments;
src/Pure/PIDE/session.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/session.scala	Mon Apr 28 15:18:37 2014 +0200
+++ b/src/Pure/PIDE/session.scala	Mon Apr 28 15:20:59 2014 +0200
@@ -500,7 +500,7 @@
           case Stop =>
             if (prover.isDefined && is_ready) {
               _protocol_handlers = _protocol_handlers.stop(prover.get)
-              global_state.change(_ => Document.State.init)  // FIXME event bus!?
+              global_state.change(_ => Document.State.init)
               phase = Session.Shutdown
               prover.get.terminate
             }
isabelle