| Tue, 04 Sep 2012 13:02:30 +0200 | blanchet | tuned TODO comment | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:30 +0200 | blanchet | allow pseudo-definition of is_Cons in terms of is_Nil (and similarly for other two-constructor datatypes) | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:28 +0200 | blanchet | allow "*" to indicate no discriminator | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:28 +0200 | blanchet | tuned TODOs | file | diff | annotate |
| Tue, 04 Sep 2012 13:02:25 +0200 | blanchet | export "wrap" function | file | diff | annotate |
| Mon, 03 Sep 2012 11:54:21 +0200 | blanchet | rearrange dependencies | file | diff | annotate |
| Mon, 03 Sep 2012 11:54:21 +0200 | blanchet | renamed three BNF/(co)datatype-related commands | file | diff | annotate | base |