| Sun, 25 Mar 2012 20:15:39 +0200 | huffman | merged fork with new numeral representation (see NEWS) | file | diff | annotate |
| Mon, 16 Jan 2012 21:50:15 +0100 | wenzelm | position constraints for numerals enable PIDE markup; | file | diff | annotate |
| Fri, 08 Apr 2011 16:34:14 +0200 | wenzelm | discontinued special treatment of structure Lexicon; | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Sat, 13 Feb 2010 23:24:57 +0100 | wenzelm | modernized structures; | file | diff | annotate |
| Thu, 11 Feb 2010 23:00:22 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Fri, 18 Sep 2009 09:07:50 +0200 | haftmann | tuned const_name antiquotations | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate | base |