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 65470 a0f49174dbeb
parent 65361 ecefb68dc21d
child 66094 24658c9d7c78 
--- a/src/Pure/PIDE/session.scala	Wed Apr 12 19:56:47 2017 +0200
+++ b/src/Pure/PIDE/session.scala	Wed Apr 12 21:13:43 2017 +0200
@@ -443,6 +443,7 @@
 
             case _ if output.is_init =>
               prover.get.options(session_options)
+              prover.get.session_base(resources)
               phase = Session.Ready
               debugger.ready()
isabelle