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

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1026   8 years mulligan final version? under 16 pages
(edit) @1020   8 years sacerdot More on Matita.
(edit) @981   8 years mulligan added more, worked on conclusions and related work. need just to …
(edit) @970   8 years mulligan commit as i need some money for the communists
(edit) @960   8 years mulligan more work on paper
(edit) @953   8 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.