(* Title: Pure/ProofGeneral/proof_general_keywords.ML Author: Makarius Dummy session with outer syntax keyword initialization. *) ProofGeneral.init_outer_syntax ();