inform_file_processed: Isar.init_point last!

--- a/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 21:07:57 2008 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML	Mon Jul 14 21:39:08 2008 +0200
@@ -137,7 +137,6 @@
 
 fun inform_file_processed file =
   let
-    val _ = Isar.init_point ();
     val name = thy_name file;
     val _ = name = "" andalso error ("Bad file name: " ^ quote file);
     val _ =
@@ -147,6 +146,7 @@
             (warning (cat_lines [msg, "Failed to register theory: " ^ quote name]);
               tell_file_retracted (ThyLoad.thy_path name))
       else ();
+    val _ = Isar.init_point ();
   in () end;