Sat, 02 Apr 2016 17:02:37 +0200 |
blanchet |
import package that might help on some machines (e.g., macbroy2)
|
file |
diff |
annotate
|
Tue, 29 Mar 2016 21:25:19 +0200 |
blanchet |
more 'corec' docs
|
file |
diff |
annotate
|
Thu, 01 Oct 2015 18:44:48 +0200 |
blanchet |
tuned datatype docs
|
file |
diff |
annotate
|
Sat, 23 May 2015 22:13:24 +0200 |
wenzelm |
prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 11:00:12 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
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
|