| Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | file | diff | annotate |
| Sat, 03 Feb 2007 23:42:55 +0100 | urbanc | added the two renaming functions from my PhD | file | diff | annotate |
| Fri, 28 Apr 2006 17:58:33 +0200 | berghofe | Removed broken proof. | file | diff | annotate |
| Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | file | diff | annotate |