--- a/src/Pure/PIDE/protocol.scala Wed Feb 27 12:45:19 2013 +0100
+++ b/src/Pure/PIDE/protocol.scala Wed Feb 27 16:27:44 2013 +0100
@@ -289,14 +289,12 @@
val dir = Isabelle_System.posix_path(name.dir)
val imports = header.imports.map(_.node)
val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
- // FIXME val uses = deps.uses.map(p => (Isabelle_System.posix_path(p._1), p._2))
- val files = header.files
(Nil,
pair(Encode.string, pair(Encode.string, pair(list(Encode.string),
pair(list(pair(Encode.string,
option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
- pair(list(Encode.string), list(Encode.string))))))(
- (dir, (name.theory, (imports, (keywords, (files, header.errors))))))) },
+ list(Encode.string)))))(
+ (dir, (name.theory, (imports, (keywords, header.errors)))))) },
{ case Document.Node.Perspective(a) => (a.commands.map(c => long_atom(c.id)), Nil) }))
def encode_edits: T[List[Document.Edit_Command]] = list((node_edit: Document.Edit_Command) =>
{