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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
58918
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     1
/*  Title:      Pure/pure_syn.scala
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     2
    Author:     Makarius
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     3
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     4
Minimal outer syntax for bootstrapping Isabelle/Pure.
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     5
*/
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     6
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     7
package isabelle
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     8
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
     9
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    10
object Pure_Syn
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    11
{
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    12
  private val keywords: Thy_Header.Keywords =
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    13
    List(
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    14
      ("theory", Some((("thy_begin", Nil), List("theory"))), None),
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    15
      ("ML_file", Some((("thy_load", Nil), List("ML"))), None))
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    16
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    17
  def init(): Outer_Syntax = Outer_Syntax.init().add_keywords(keywords)
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    18
}
8d36bc5eaed3 simplified keyword kinds;
wenzelm
parents:
diff changeset
    19