#
0560dc79 |
|
02-Apr-2016 |
blanchet <none@none> |
tuned LaTeX
|
#
65c26e58 |
|
02-Apr-2016 |
blanchet <none@none> |
import package that might help on some machines (e.g., macbroy2)
|
#
d0408ac4 |
|
29-Mar-2016 |
blanchet <none@none> |
more 'corec' docs
|
#
5bd5a3c8 |
|
01-Oct-2015 |
blanchet <none@none> |
tuned datatype docs
|
#
50e6a752 |
|
23-May-2015 |
wenzelm <none@none> |
prefer lmodern, which produces scalable T1 fonts even with Debian-ized TeXLive;
|
#
dd3e187b |
|
06-Jan-2015 |
blanchet <none@none> |
docs
|
#
d281c253 |
|
05-Jan-2015 |
blanchet <none@none> |
docs
|
#
5fc26177 |
|
11-Sep-2014 |
blanchet <none@none> |
updated news
|
#
6a7662be |
|
11-Sep-2014 |
blanchet <none@none> |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
#
e6e180c9 |
|
19-Jul-2014 |
blanchet <none@none> |
doc fixes (contributed by Christian Sternagel)
|
#
c99bd12b |
|
10-Jul-2014 |
blanchet <none@none> |
more docs
|
#
e40c4303 |
|
23-May-2014 |
blanchet <none@none> |
added fifth member to BNF team
|
#
f49080eb |
|
06-Feb-2014 |
blanchet <none@none> |
more docs
|
#
47168367 |
|
03-Feb-2014 |
blanchet <none@none> |
searchable underscores
|
#
7d31118e |
|
07-Oct-2013 |
blanchet <none@none> |
reword abstract
|
#
f84f61b3 |
|
20-Sep-2013 |
blanchet <none@none> |
renamed "primcorec" to "primcorecursive", to open the door to a 'theory -> theory' command called "primcorec" (cf. "fun" vs. "function")
|
#
a5b509fb |
|
15-Sep-2013 |
blanchet <none@none> |
more (co)data docs
|
#
5fce6449 |
|
13-Sep-2013 |
blanchet <none@none> |
more (co)data doc
|
#
f1874cf4 |
|
13-Sep-2013 |
blanchet <none@none> |
more (co)data docs
|
#
6ac6a2de |
|
13-Sep-2013 |
blanchet <none@none> |
more (co)data doc
|
#
d0bf19e0 |
|
11-Sep-2013 |
blanchet <none@none> |
more (co)datatype docs
|
#
6bca411e |
|
11-Sep-2013 |
blanchet <none@none> |
more (co)data docs
|
#
bf9543e7 |
|
11-Sep-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
685f44f1 |
|
09-Sep-2013 |
blanchet <none@none> |
more docs
|
#
286d3cf2 |
|
14-Aug-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
251dc7a0 |
|
02-Aug-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
84a7ed03 |
|
01-Aug-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
3088ce6b |
|
01-Aug-2013 |
blanchet <none@none> |
more (co)datatype docs
|
#
112dfbce |
|
31-Jul-2013 |
blanchet <none@none> |
more work on (co)datatype docs
|
#
015fe303 |
|
31-Jul-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
aebbc1ba |
|
30-Jul-2013 |
blanchet <none@none> |
more (co)datatype documentation
|
#
0d770f06 |
|
30-Jul-2013 |
blanchet <none@none> |
sketched documentation for new (co)datatype package
|