src/Pure/Isar/outer_syntax.scala

 import scala.util.parsing.input.{Reader, CharSequenceReader}
 
 
 class Outer_Syntax(symbols: Symbol.Interpretation)
 {
-  protected val keywords: Map[String, String] = Map((";" -> Outer_Keyword.DIAG))
+  protected val keywords: Map[String, String] = Map((";" -> Keyword.DIAG))
   protected val lexicon: Scan.Lexicon = Scan.Lexicon.empty
   lazy val completion: Completion = new Completion + symbols  // FIXME !?
 
   def + (name: String, kind: String): Outer_Syntax =
   {

       override val keywords = new_keywords
       override lazy val completion = new_completion
     }
   }
 
-  def + (name: String): Outer_Syntax = this + (name, Outer_Keyword.MINOR)
+  def + (name: String): Outer_Syntax = this + (name, Keyword.MINOR)
 
   def is_command(name: String): Boolean =
     keywords.get(name) match {
-      case Some(kind) => kind != Outer_Keyword.MINOR
+      case Some(kind) => kind != Keyword.MINOR
       case None => false
     }
 
 
   /* tokenize */