aboutsummaryrefslogtreecommitdiff
path: root/specification
Commit message (Expand)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