changeset 48738 | f8c1a5b9488f |
parent 48732 | f04320479ff9 |
child 48879 | cb5cdbb645cd |
--- a/src/Pure/ROOT Wed Aug 08 15:58:40 2012 +0200 +++ b/src/Pure/ROOT Wed Aug 08 17:49:56 2012 +0200 @@ -1,4 +1,4 @@ -session RAW in "." = +session RAW = files "General/exn.ML" "ML-Systems/compiler_polyml.ML" @@ -19,7 +19,7 @@ "ML-Systems/unsynchronized.ML" "ML-Systems/use_context.ML" -session Pure in "." = +session Pure = theories Pure files "General/exn.ML"