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.ML
changeset 46970 9667e0dcb5e2
parent 46961 5c6955f487e5
child 48418 1a634f9614fb 
--- a/src/Pure/System/session.ML	Fri Mar 16 21:20:23 2012 +0100
+++ b/src/Pure/System/session.ML	Fri Mar 16 21:40:21 2012 +0100
@@ -75,6 +75,7 @@
 fun finish () =
   (Thy_Info.finish ();
     Present.finish ();
+    Outer_Syntax.check_syntax ();
     Future.shutdown ();
     session_finished := true);
isabelle