Remove add_master_files which stripped paths for retracted files. Emacs PG already supports full paths here.

--- a/src/Pure/proof_general.ML	Sun Nov 26 18:07:36 2006 +0100
+++ b/src/Pure/proof_general.ML	Sun Nov 26 23:09:25 2006 +0100
@@ -387,15 +387,11 @@
 
 local
 
-fun add_master_files name files =
-  let val masters = [ThyLoad.thy_path name, ThyLoad.ml_path name]
-  in masters @ subtract (op = o pairself Path.base) masters files end;
-
 fun trace_action action name =
   if action = ThyInfo.Update then
     List.app tell_file_loaded (ThyInfo.loaded_files name)
   else if action = ThyInfo.Outdate orelse action = ThyInfo.Remove then
-    List.app tell_file_retracted (add_master_files name (ThyInfo.loaded_files name))
+    List.app tell_file_retracted (ThyInfo.loaded_files name)
   else ();
 
 in
@@ -1321,7 +1317,7 @@
      | "retractfile"    => (case !currently_open_file of
                                 SOME f => raise PGIP ("retractfile when a file is open!")
                               | NONE => inform_file_retracted (fileurl_of attrs))
-     | "changecwd"      => changecwd (dirname_attr attrs)
+     | "changecwd"      => changecwd (fileurl_of attrs)
      | "systemcmd"      => isarscript data
      (* unofficial command for debugging *)
      | "quitpgip" => raise PGIP_QUIT