changeset 29606 | fedb8be05f24 |
parent 24881 | 711142251c81 |
29605:f2924219125e | 29606:fedb8be05f24 |
---|---|
1 (* Title: Pure/ProofGeneral/proof_general_keywords.ML |
1 (* Title: Pure/ProofGeneral/proof_general_keywords.ML |
2 ID: $Id$ |
|
3 Author: Makarius |
2 Author: Makarius |
4 |
3 |
5 Dummy session with outer syntax keyword initialization. |
4 Dummy session with outer syntax keyword initialization. |
6 *) |
5 *) |
7 |
6 |