aboutsummaryrefslogtreecommitdiff
path: root/specification
Commit message (Collapse)AuthorAgeFilesLines
* generate pdfJakob Odersky2013-02-261-0/+0
|
* move specification out of latex subdirectoryJakob Odersky2013-02-263-0/+0
|
* write specificationJakob Odersky2013-02-267-689/+122
|
* initial commitJakob Odersky2013-02-256-0/+779