src/Pure/ProofGeneral/proof_general_keywords.ML
author wenzelm
Fri Jun 13 21:04:42 2008 +0200 (2008-06-13)
changeset 27195 bbf4cbc69243
parent 24881 711142251c81
child 29606 fedb8be05f24
permissions -rw-r--r--
map_const: soft version, no failure here;
wenzelm@24881
     1
(*  Title:      Pure/ProofGeneral/proof_general_keywords.ML
wenzelm@24881
     2
    ID:         $Id$
wenzelm@24881
     3
    Author:     Makarius
wenzelm@24881
     4
wenzelm@24881
     5
Dummy session with outer syntax keyword initialization.
wenzelm@24881
     6
*)
wenzelm@24881
     7
wenzelm@24881
     8
ProofGeneral.init_outer_syntax ();
wenzelm@24881
     9