Thu, 02 Feb 2006 16:31:34 +0100 | wenzelm | always use Attrib.src; | file | diff | annotate |
Thu, 02 Feb 2006 12:52:19 +0100 | wenzelm | added concluding statements: Shows/Obtains; | file | diff | annotate |
Fri, 13 Jan 2006 01:13:08 +0100 | wenzelm | uniform handling of fixes; | file | diff | annotate |
Sat, 07 Jan 2006 12:26:31 +0100 | wenzelm | pretty_locale: backquote notes; | file | diff | annotate |
Wed, 09 Nov 2005 16:26:55 +0100 | wenzelm | Explicit data structures for some Isar language elements. | file | diff | annotate |