| Tue, 25 Apr 2006 22:23:41 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 21 Mar 2006 12:18:15 +0100 | wenzelm | avoid polymorphic equality; | file | diff | annotate |
| Tue, 14 Mar 2006 22:06:36 +0100 | wenzelm | added pretty_statement; | file | diff | annotate |
| Tue, 14 Mar 2006 16:29:36 +0100 | wenzelm | added pretty_stmt; | file | diff | annotate |
| 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 |