Sat, 19 Jul 2014 11:20:09 +0200 |
blanchet |
doc fixes (contributed by Christian Sternagel)
|
file |
diff |
annotate
|
Fri, 11 Jul 2014 00:55:46 +0200 |
blanchet |
more docs
|
file |
diff |
annotate
|
Fri, 23 May 2014 14:25:14 +0200 |
blanchet |
added fifth member to BNF team
|
file |
diff |
annotate
|
Fri, 07 Feb 2014 00:48:04 +0100 |
blanchet |
more docs
|
file |
diff |
annotate
|
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
|