Call the right inform_file_processed function on <closefile>

--- a/src/Pure/proof_general.ML	Mon Nov 27 18:18:25 2006 +0100
+++ b/src/Pure/proof_general.ML	Mon Nov 27 21:07:00 2006 +0100
@@ -1307,7 +1307,7 @@
                               | NONE => (openfile_retract (fileurl_of attrs);
 					 currently_open_file := SOME (fileurl_of attrs)))
      | "closefile"      => (case !currently_open_file of
-                                SOME f => (inform_file_processed f;
+                                SOME f => (proper_inform_file_processed f (Isar.state());
                                            currently_open_file := NONE)
                               | NONE => raise PGIP ("closefile when no file is open!"))
      | "abortfile"      => (case !currently_open_file of