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;
     1 (*  Title:      Pure/ProofGeneral/proof_general_keywords.ML
     2     ID:         $Id$
     3     Author:     Makarius
     4 
     5 Dummy session with outer syntax keyword initialization.
     6 *)
     7 
     8 ProofGeneral.init_outer_syntax ();
     9