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/System/session.scala
changeset 51083 10062c40ddaa
parent 50975 73ec6ad6700e
child 51662 3391a493f39a 
--- a/src/Pure/System/session.scala	Thu Feb 07 13:20:05 2013 +0100
+++ b/src/Pure/System/session.scala	Sun Feb 10 22:03:21 2013 +0100
@@ -407,7 +407,7 @@
           reply(())
 
         case Session.Global_Options(options) if prover.isDefined =>
-          prover.get.options(options)
+          if (is_ready) prover.get.options(options)
 
         case Cancel_Execution if prover.isDefined =>
           prover.get.cancel_execution()
isabelle