source: Papers/jar-cerco-2017 @ 3622

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