Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix manual formatting. | Matthias Andreas Benkard | 2011-08-11 | 1 | -7/+7 |
* | Make the manual buildable without first installing the PLaneT package. | Matthias Andreas Benkard | 2011-08-11 | 1 | -88/+88 |
* | Adapt the manual to the Typed Racket implementation. | Matthias Andreas Benkard | 2011-06-24 | 1 | -36/+17 |
* | Minor cleanups. | Matthias Andreas Benkard | 2011-06-23 | 1 | -3/+0 |
* | Add some documentation. | Matthias Andreas Benkard | 2011-06-23 | 1 | -0/+110 |