Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
documentation:report [2014-06-13 12:35] 127.0.0.1 external edit |
documentation:report [2015-07-20 14:39] mh Link corrected |
||
---|---|---|---|
Line 6: | Line 6: | ||
* {{documentation:report.pdf | Curry Report (Version 0.8.3)}} | * {{documentation:report.pdf | Curry Report (Version 0.8.3)}} | ||
- | * [[http://www.informatik.uni-kiel.de/~curry/report.html | List of changes in the current and older revisions of the report]] | + | * [[http://www.informatik.uni-kiel.de/~curry/reports.html | List of changes in the current and older revisions of the report]] |
* {{documentation:report.bib | BibTeX entry for citing the report}} | * {{documentation:report.bib | BibTeX entry for citing the report}} | ||