changeset 62944 | 3ee643c5ed00 |
parent 62902 | 3c0f53eae166 |
child 62946 | 9f537dd83677 |
--- a/src/Pure/Thy/sessions.scala Sun Apr 10 21:30:48 2016 +0200 +++ b/src/Pure/Thy/sessions.scala Sun Apr 10 21:46:12 2016 +0200 @@ -20,7 +20,7 @@ def pure_name(name: String): Boolean = name == "Pure" - val pure_roots: List[String] = List("ROOT0.ML", "ROOT.ML", "ROOT1.ML") + val pure_roots: List[String] = List("ROOT0.ML", "ROOT.ML") def pure_files(resources: Resources, syntax: Outer_Syntax, dir: Path): List[Path] = {