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.
finish: Future.shutdown last;
authorwenzelm
Thu, 11 Sep 2008 22:22:20 +0200
changeset 28207 e2431cc4dc66
parent 28206 bcd48c6897d4
child 28208 3a8b3453129a
finish: Future.shutdown last;
src/Pure/Isar/session.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/session.ML	Thu Sep 11 21:53:53 2008 +0200
+++ b/src/Pure/Isar/session.ML	Thu Sep 11 22:22:20 2008 +0200
@@ -68,8 +68,8 @@
 fun finish () =
   (Output.accumulated_time ();
     ThyInfo.finish ();
+    Present.finish ();
     Future.shutdown ();
-    Present.finish ();
     session_finished := true);
isabelle