Mon, 07 Mar 2016 23:20:11 +0100 | blanchet | made 'size' plugin compatible with locales again (and added regression test) | file | diff | annotate |
Tue, 11 Nov 2014 10:26:08 +0100 | desharna | make 'rec_transfer' tactic more robust | file | diff | annotate |
Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
Fri, 26 Sep 2014 09:58:35 +0200 | desharna | make 'case_transfer' tactic more robust | file | diff | annotate |
Mon, 22 Sep 2014 15:01:27 +0200 | desharna | make 'set_induct0' tactic more robust w.r.t multiple arguments constructors | file | diff | annotate |
Sat, 13 Sep 2014 18:08:38 +0200 | blanchet | imported patch phantoms | file | diff | annotate |
Fri, 12 Sep 2014 13:50:51 +0200 | desharna | make 'ctr_transfer' tactic more robust | file | diff | annotate |
Thu, 11 Sep 2014 19:32:36 +0200 | blanchet | updated news | file | diff | annotate |
Thu, 11 Sep 2014 19:26:59 +0200 | blanchet | renamed 'BNF_Examples' to 'Datatype_Examples' (cf. 'datatypes.pdf') | file | diff | annotate | base |