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

Revision Log Mode:


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