# HG changeset patch # User wenzelm # Date 1191701239 -7200 # Node ID 711142251c813f16eeff0f6bd4dfa3b172a85557 # Parent c827d25b2983d2c945c70b8ff3061bedd8def175 Dummy session with outer syntax keyword initialization. diff -r c827d25b2983 -r 711142251c81 src/Pure/ProofGeneral/proof_general_keywords.ML --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/Pure/ProofGeneral/proof_general_keywords.ML Sat Oct 06 22:07:19 2007 +0200 @@ -0,0 +1,9 @@ +(* Title: Pure/ProofGeneral/proof_general_keywords.ML + ID: $Id$ + Author: Makarius + +Dummy session with outer syntax keyword initialization. +*) + +ProofGeneral.init_outer_syntax (); +