src/Pure/PIDE/protocol.scala
changeset 48864 3ee314ae1e0a
parent 48755 393a37003851
child 49009 15381ea111ec
     1.1 --- a/src/Pure/PIDE/protocol.scala	Mon Aug 20 13:58:06 2012 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Mon Aug 20 14:09:09 2012 +0200
     1.3 @@ -222,7 +222,8 @@
     1.4                val uses = header.uses
     1.5                (Nil,
     1.6                  pair(Encode.string, pair(Encode.string, pair(list(Encode.string),
     1.7 -                  pair(list(pair(Encode.string, option(pair(Encode.string, list(Encode.string))))),
     1.8 +                  pair(list(pair(Encode.string,
     1.9 +                    option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
    1.10                    pair(list(pair(Encode.string, bool)), list(Encode.string))))))(
    1.11                  (dir, (name.theory, (imports, (header.keywords, (uses, header.errors))))))) },
    1.12            { case Document.Node.Perspective(a) => (a.commands.map(c => long_atom(c.id)), Nil) }))