| 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 |