src/Pure/pure_syn.scala
author wenzelm
Thu, 06 Nov 2014 11:44:41 +0100
changeset 58918 8d36bc5eaed3
permissions -rw-r--r--
simplified keyword kinds; more explicit bootstrap syntax;

/*  Title:      Pure/pure_syn.scala
    Author:     Makarius

Minimal outer syntax for bootstrapping Isabelle/Pure.
*/

package isabelle


object Pure_Syn
{
  private val keywords: Thy_Header.Keywords =
    List(
      ("theory", Some((("thy_begin", Nil), List("theory"))), None),
      ("ML_file", Some((("thy_load", Nil), List("ML"))), None))

  def init(): Outer_Syntax = Outer_Syntax.init().add_keywords(keywords)
}