aboutsummaryrefslogtreecommitdiff
path: root/specification
Commit message (Expand)AuthorAgeFilesLines
* remove BAD_ACK error as it limits amount of open messagesJakob Odersky2013-02-262-3/+1
* 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