| Tue, 06 Jun 2006 10:05:57 +0200 | ballarin | Improved parameter management of locales. | file | diff | annotate |
| Wed, 22 Feb 2006 22:18:32 +0100 | wenzelm | simplified Pure conjunction; | file | diff | annotate |
| Wed, 15 Feb 2006 21:34:59 +0100 | wenzelm | cannot use section before setup; | file | diff | annotate |
| Sun, 29 Jan 2006 19:23:43 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 19 Jan 2006 21:22:15 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 13 Jan 2006 01:12:59 +0100 | wenzelm | implicit setup, which admits exception_trace; | file | diff | annotate |
| Thu, 22 Dec 2005 00:28:52 +0100 | wenzelm | added locale meta_conjunction_syntax and various conjunction rules; | file | diff | annotate |