| Sat, 22 Nov 2014 14:57:04 +0100 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Tue, 30 Aug 2011 17:51:30 +0200 | wenzelm | tuned document; | file | diff | annotate |
| Mon, 15 Dec 2008 18:12:52 +0100 | ballarin | More porting to new locales. | file | diff | annotate |
| Wed, 11 Jul 2007 11:52:28 +0200 | berghofe | Renamed inductive2 to inductive. | file | diff | annotate |
| Tue, 05 Jun 2007 16:26:06 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 17 Nov 2006 02:20:03 +0100 | wenzelm | more robust syntax for definition/abbreviation/notation; | file | diff | annotate |