author | wenzelm |
Sat, 06 Oct 2007 22:07:19 +0200 | |
changeset 24881 | 711142251c81 |
parent 24880 | c827d25b2983 |
child 24882 | b38d16db8804 |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/Pure/ProofGeneral/proof_general_keywords.ML Sat Oct 06 22:07:19 2007 +0200 1.3 @@ -0,0 +1,9 @@ 1.4 +(* Title: Pure/ProofGeneral/proof_general_keywords.ML 1.5 + ID: $Id$ 1.6 + Author: Makarius 1.7 + 1.8 +Dummy session with outer syntax keyword initialization. 1.9 +*) 1.10 + 1.11 +ProofGeneral.init_outer_syntax (); 1.12 +