source: Papers/jar-cerco-2017 @ 3621

Name Size Rev Age Author Last Change
../
architecture.tex 7.0 KB 3615   3 years boender Moved paper structure comments to their relevant sections
cerco.bib 11.5 KB 3619   3 years boender Added section on Matita
cerco.tex 4.1 KB 3619   3 years boender Added section on Matita
conclusions.tex 6.0 KB 3621   3 years mulligan refinements to summary, starting work on related work section
development.tex 241 bytes 3615   3 years boender Moved paper structure comments to their relevant sections
framac.tex 160 bytes 3615   3 years boender Moved paper structure comments to their relevant sections
introduction.tex 22.6 KB 3620   3 years boender Rewrote introduction to sound less futuristic/defensive
proof.tex 269 bytes 3615   3 years boender Moved paper structure comments to their relevant sections
spbasic.bst 32.5 KB 3596   3 years mulligan added jar style files
spmpsci.bst 29.4 KB 3596   3 years mulligan added jar style files
spphys.bst 27.9 KB 3596   3 years mulligan added jar style files
svglov3.clo 3.7 KB 3596   3 years mulligan added jar style files
svjour3.cls 46.6 KB 3596   3 years mulligan added jar style files
usrguid3.pdf 185.9 KB 3596   3 years mulligan added jar style files
Note: See TracBrowser for help on using the repository browser.