--- a/src/Pure/PIDE/resources.ML Fri Oct 31 21:10:11 2014 +0100
+++ b/src/Pure/PIDE/resources.ML Fri Oct 31 21:20:06 2014 +0100
@@ -15,7 +15,6 @@
val parse_files: string -> (theory -> Token.file list) parser
val provide: Path.T * SHA1.digest -> theory -> theory
val provide_parse_files: string -> (theory -> Token.file list * theory) parser
- val loaded_files: theory -> Path.T list
val loaded_files_current: theory -> bool
val begin_theory: Path.T -> Thy_Header.header -> theory list -> theory
val load_thy: bool -> (Toplevel.transition -> Time.time option) -> int -> Path.T ->
@@ -116,11 +115,6 @@
NONE => false
| SOME ((_, id'), _) => id = id'));
-(*Proof General legacy*)
-fun loaded_files thy =
- let val {master_dir, provided, ...} = Files.get thy
- in map (File.full_path master_dir o #1) provided end;
-
(* load theory *)