source:
doc/papers/general
@
8315947
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
evaluation | cfc3e0f | 6 years | referee responses | ||
figures | 565a3d6f | 7 years | add figures directory | ||
.gitignore | 91 bytes | 0fd0c16 | 6 years | remove Paper.tex.plain | |
fig.tex | 524 bytes | 9459c01 | 6 years | final production copy | |
Makefile | 2.5 KB | 3b1825b | 6 years | seperate bibtex and latex library files in Makefile variables | |
response | 17.6 KB | 3d60c08 | 6 years | complete referee changes | |
Paper.tex | 162.0 KB | 5346dce | 6 years | remove proof corrections | |
SPE_CforallModernFeatures.pdf | 10.9 MB | 6394ac6 | 8 months | add SPE PDF for paper Cforall: Adding Modern Programming Language … |
|
Note: See TracBrowser
for help on using the repository browser.