| Sun, 13 Dec 2015 21:56:15 +0100 | wenzelm | more general types Proof.method / context_tactic; | file | diff | annotate |
| Mon, 31 Aug 2015 22:44:07 +0200 | wenzelm | misc tuning and simplification; | file | diff | annotate |
| Mon, 31 Aug 2015 22:30:41 +0200 | wenzelm | proper option, not catch-all pattern; | file | diff | annotate |
| Mon, 31 Aug 2015 20:55:22 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Thu, 13 Aug 2015 16:47:00 +0200 | traytel | unfold intermediate definitions (stemming from composition) in lifted bnf operations | file | diff | annotate |
| Wed, 12 Aug 2015 20:46:33 +0200 | traytel | new command for lifting BNF structure over typedefs | file | diff | annotate |