source: src/ASM/CPP2011/cpp-2011.bib

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @1020   10 years sacerdot More on Matita.
(edit) @981   10 years mulligan added more, worked on conclusions and related work. need just to …
(edit) @970   10 years mulligan commit as i need some money for the communists
(edit) @960   10 years mulligan more work on paper
(edit) @953   10 years mulligan more changes, including additions to the bibliography, and tightening …
(add) @927   10 years mulligan changes
Note: See TracRevisionLog for help on using the revision log.