Mercurial > urweb
log doc/manual.tex
age | author | description |
---|---|---|
Fri, 06 Dec 2013 08:54:03 -0500 | Adam Chlipala | Small reformatting and documentation for '-print-cinclude' |
Sun, 17 Nov 2013 07:54:59 -0500 | Adam Chlipala | Manual: add a pointer to background reading on inference rule notation |
Fri, 11 Oct 2013 17:15:28 -0400 | Adam Chlipala | New header file scheme to support FFI code in either of C or C++ [based on suggestion by Ron de Bruijn] |