aboutsummaryrefslogtreecommitdiff
path: root/specification/latex/specification.aux
Commit message (Expand)AuthorAgeFilesLines
* write specificationJakob Odersky2013-02-261-18/+0
* initial commitJakob Odersky2013-02-251-0/+18