1.1 --- a/src/Pure/System/session.scala	Sat Sep 18 21:10:07 2010 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sat Sep 18 21:33:56 2010 +0200
     1.3 @@ -247,7 +247,7 @@
     1.4      }
     1.5  
     1.6  
     1.7 -    /* main loop */
     1.8 +    /* main loop */  // FIXME proper shutdown
     1.9  
    1.10      var finished = false
    1.11      while (!finished) {
    1.12 @@ -282,9 +282,9 @@
    1.13  
    1.14          case Stop => // FIXME synchronous!?
    1.15            if (prover != null) {
    1.16 +            global_state.change(_ => Document.State.init)
    1.17              prover.kill
    1.18              prover = null
    1.19 -            finished = true
    1.20            }
    1.21  
    1.22          case TIMEOUT =>  // FIXME clarify