| author | wenzelm |
| Wed, 21 Jan 2009 23:21:44 +0100 | |
| changeset 29606 | fedb8be05f24 |
| parent 24881 | 711142251c81 |
| permissions | -rw-r--r-- |
| wenzelm@24881 | 1 |
(* Title: Pure/ProofGeneral/proof_general_keywords.ML |
| wenzelm@24881 | 2 |
Author: Makarius |
| wenzelm@24881 | 3 |
|
| wenzelm@24881 | 4 |
Dummy session with outer syntax keyword initialization. |
| wenzelm@24881 | 5 |
*) |
| wenzelm@24881 | 6 |
|
| wenzelm@24881 | 7 |
ProofGeneral.init_outer_syntax (); |
| wenzelm@24881 | 8 |