| Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
| Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | file | diff | annotate |
| Thu, 02 Mar 2006 16:01:06 +0100 | urbanc | fixed the bugs itroduced by the previous commit | file | diff | annotate |