src/Pure/ProofGeneral/proof_general_keywords.ML
author wenzelm
Sat Oct 06 22:07:19 2007 +0200 (2007-10-06)
changeset 24881 711142251c81
child 29606 fedb8be05f24
permissions -rw-r--r--
Dummy session with outer syntax keyword initialization.
     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