| 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 |