diff options
| author | Makarius Wenzel | 2005-06-26 13:16:16 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-06-26 13:16:16 +0000 |
| commit | 7698e030e7183583807fa2304fea6438d85a3bef (patch) | |
| tree | cb38f4a9c69cb9a207d93ac0bdc12b878839a33a /generic | |
| parent | 788a302c350f7b64d3157ed985f9f1a9bc478a04 (diff) | |
tuned isar-goals-font-lock-keywords;
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions