src/Pure/ROOT
changeset 56210 c7c85cdb725d
parent 56208 06cc31dff138
child 56303 4cc3f4db3447
     1.1 --- a/src/Pure/ROOT	Tue Mar 18 17:53:40 2014 +0100
     1.2 +++ b/src/Pure/ROOT	Tue Mar 18 18:09:31 2014 +0100
     1.3 @@ -162,6 +162,7 @@
     1.4      "PIDE/protocol.ML"
     1.5      "PIDE/query_operation.ML"
     1.6      "PIDE/resources.ML"
     1.7 +    "PIDE/session.ML"
     1.8      "PIDE/xml.ML"
     1.9      "PIDE/yxml.ML"
    1.10      "Proof/extraction.ML"
    1.11 @@ -190,7 +191,6 @@
    1.12      "System/isar.ML"
    1.13      "System/message_channel.ML"
    1.14      "System/options.ML"
    1.15 -    "System/session.ML"
    1.16      "System/system_channel.ML"
    1.17      "Thy/html.ML"
    1.18      "Thy/latex.ML"