# HG changeset patch
# User aspinall
# Date 1164578965 -3600
# Node ID 678299eac351f0b87db06e4e8e8b56218998a67d
# Parent  45b3a85ee54892421563a39ce3bd44ddba18b220
Remove add_master_files which stripped paths for retracted files.  Emacs PG already supports full paths here.

diff -r 45b3a85ee548 -r 678299eac351 src/Pure/proof_general.ML
--- 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