| Mon, 03 Feb 2014 17:55:50 +0100 | blanchet | searchable underscores | file | diff | annotate |
| Mon, 07 Oct 2013 20:54:55 +0200 | blanchet | reword abstract | file | diff | annotate |
| Fri, 20 Sep 2013 16:32:27 +0200 | blanchet | renamed "primcorec" to "primcorecursive", to open the door to a 'theory -> theory' command called "primcorec" (cf. "fun" vs. "function") | file | diff | annotate |
| Mon, 16 Sep 2013 00:40:02 +0200 | blanchet | more (co)data docs | file | diff | annotate |
| Fri, 13 Sep 2013 19:37:32 +0200 | blanchet | more (co)data doc | file | diff | annotate |
| Fri, 13 Sep 2013 16:50:35 +0200 | blanchet | more (co)data docs | file | diff | annotate |
| Fri, 13 Sep 2013 16:29:39 +0200 | blanchet | more (co)data doc | file | diff | annotate |
| Wed, 11 Sep 2013 23:55:47 +0200 | blanchet | more (co)datatype docs | file | diff | annotate |
| Wed, 11 Sep 2013 18:32:43 +0200 | blanchet | more (co)data docs | file | diff | annotate |
| Wed, 11 Sep 2013 15:22:43 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Mon, 09 Sep 2013 23:09:37 +0200 | blanchet | more docs | file | diff | annotate |
| Wed, 14 Aug 2013 13:15:28 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Fri, 02 Aug 2013 19:10:10 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Thu, 01 Aug 2013 15:50:16 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Thu, 01 Aug 2013 14:22:10 +0200 | blanchet | more (co)datatype docs | file | diff | annotate |
| Wed, 31 Jul 2013 13:40:57 +0200 | blanchet | more work on (co)datatype docs | file | diff | annotate |
| Wed, 31 Jul 2013 11:28:59 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Tue, 30 Jul 2013 19:49:42 +0200 | blanchet | more (co)datatype documentation | file | diff | annotate |
| Tue, 30 Jul 2013 16:22:39 +0200 | blanchet | sketched documentation for new (co)datatype package | file | diff | annotate |