1 (* Title: Pure/ProofGeneral/proof_general_keywords.ML
2 Author: Makarius
3
4 Dummy session with outer syntax keyword initialization.
5 *)
6
7 ProofGeneral.init_outer_syntax ();
8