Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | generate pdf | Jakob Odersky | 2013-02-26 | 1 | -0/+0 |
* | move specification out of latex subdirectory | Jakob Odersky | 2013-02-26 | 3 | -0/+0 |
* | write specification | Jakob Odersky | 2013-02-26 | 7 | -689/+122 |
* | initial commit | Jakob Odersky | 2013-02-25 | 6 | -0/+779 |