diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-10-31 19:43:12 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-10-31 19:43:12 +0000 |
commit | a33a0182a3115bb1591c9f5874635c621e7d190e (patch) | |
tree | 874a3dabbba4b1132803bff3b127da379bfa34c5 /acl2 | |
parent | 5e2bdd1d33f08223b6ecf0f379e6b12d807e032b (diff) |
tuned isar-goals-font-lock-keywords;
Diffstat (limited to 'acl2')
0 files changed, 0 insertions, 0 deletions