| Tue, 01 Apr 2014 10:51:29 +0200 | blanchet | compile | file | diff | annotate |
| Sat, 22 Mar 2014 18:15:09 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Fri, 21 Mar 2014 10:45:03 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Mon, 10 Mar 2014 13:23:16 +0100 | traytel | unfold intermediate definitions after sealing the bnf | file | diff | annotate |
| Fri, 31 Jan 2014 14:33:02 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Fri, 31 Jan 2014 10:02:36 +0100 | traytel | less hermetic tactics | file | diff | annotate |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | dissolved BNF session | file | diff | annotate | base |