| Mon, 15 Feb 2010 18:03:42 +0100 | wenzelm | renamed InfixName to Infix etc.; | file | diff | annotate |
| Mon, 15 Feb 2010 17:17:51 +0100 | wenzelm | discontinued unnamed infix syntax; | file | diff | annotate |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
| Sat, 15 Nov 2008 21:31:37 +0100 | wenzelm | adapted PThm and MinProof; | file | diff | annotate |
| Fri, 15 Dec 2006 00:08:06 +0100 | wenzelm | avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert; | file | diff | annotate |
| Tue, 05 Dec 2006 00:30:38 +0100 | wenzelm | thm/prf: separate official name vs. additional tags; | file | diff | annotate |
| Thu, 16 Feb 2006 23:30:47 +0100 | obua | improved scanning | file | diff | annotate |
| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |