source: Papers/jar-cerco-2017 @ 3624

Name Size Rev Age Author Last Change
../
architecture.tex 36.0 KB 3623   3 years boender Added D2.1 as a base for the architecture parts
cerco.bib 12.0 KB 3623   3 years boender Added D2.1 as a base for the architecture parts
cerco.tex 4.1 KB 3619   3 years boender Added section on Matita
conclusions.tex 8.4 KB 3624   3 years mulligan more 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
lst-grafite.tex 4.5 KB 3622   3 years boender Added necessary file
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.