diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-05-23 14:24:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-05-23 14:24:07 +0000 |
| commit | 91d72cf79c4c22be191f23af7de574fd8b0ae27f (patch) | |
| tree | 59fb10a0733e8091420a7d78a098cc55c3f50b1d /lego/lego.el | |
| parent | 936729e649aa43b0296204ae5302156de24e41af (diff) | |
Isabelle/Isar keyword classification (used to be in isar-syntax.el);
Diffstat (limited to 'lego/lego.el')
0 files changed, 0 insertions, 0 deletions