src/Pure/Isar/outer_syntax.scala
changeset 56314 9a513737a0b2
parent 55749 75a48dc4383e
child 56393 22f533e6a049
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Sat Mar 29 09:24:39 2014 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sat Mar 29 09:34:51 2014 +0100
     1.3 @@ -57,13 +57,13 @@
     1.4    def keyword_kind_files(name: String): Option[(String, List[String])] = keywords.get(name)
     1.5    def keyword_kind(name: String): Option[String] = keyword_kind_files(name).map(_._1)
     1.6  
     1.7 -  def thy_load(span: List[Token]): Option[List[String]] =
     1.8 +  def load(span: List[Token]): Option[List[String]] =
     1.9      keywords.get(Command.name(span)) match {
    1.10        case Some((Keyword.THY_LOAD, exts)) => Some(exts)
    1.11        case _ => None
    1.12      }
    1.13  
    1.14 -  val thy_load_commands: List[(String, List[String])] =
    1.15 +  val load_commands: List[(String, List[String])] =
    1.16      (for ((name, (Keyword.THY_LOAD, files)) <- keywords.iterator) yield (name, files)).toList
    1.17  
    1.18    def + (name: String, kind: (String, List[String]), replace: Option[String]): Outer_Syntax =