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