src/Pure/Isar/outer_syntax.scala
changeset 36947 285b39022372
parent 34264 b5025782a4ed
child 36956 21be4832c362
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Sat May 15 21:57:27 2010 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sat May 15 22:05:49 2010 +0200
     1.3 @@ -12,7 +12,7 @@
     1.4  
     1.5  class Outer_Syntax(symbols: Symbol.Interpretation)
     1.6  {
     1.7 -  protected val keywords: Map[String, String] = Map((";" -> Outer_Keyword.DIAG))
     1.8 +  protected val keywords: Map[String, String] = Map((";" -> Keyword.DIAG))
     1.9    protected val lexicon: Scan.Lexicon = Scan.Lexicon.empty
    1.10    lazy val completion: Completion = new Completion + symbols  // FIXME !?
    1.11  
    1.12 @@ -28,11 +28,11 @@
    1.13      }
    1.14    }
    1.15  
    1.16 -  def + (name: String): Outer_Syntax = this + (name, Outer_Keyword.MINOR)
    1.17 +  def + (name: String): Outer_Syntax = this + (name, Keyword.MINOR)
    1.18  
    1.19    def is_command(name: String): Boolean =
    1.20      keywords.get(name) match {
    1.21 -      case Some(kind) => kind != Outer_Keyword.MINOR
    1.22 +      case Some(kind) => kind != Keyword.MINOR
    1.23        case None => false
    1.24      }
    1.25