Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | That was fun: fix internal links. | Adriaan Moors | 2014-03-13 | 1 | -10/+10 |
| | | | | | | | After some dirty grepping, regexing and perling, I present to you: internal links! I wish there was a way to make this more robust, these will only work on the html version, and assume we don't change filenames... | ||||
* | wip: jekyllify | Adriaan Moors | 2014-03-13 | 1 | -0/+5 |
| | |||||
* | SI-5089 update definition implicit scope in terms of parts of a type | Adriaan Moors | 2014-03-12 | 1 | -18/+22 |
| | | | | add note that implicits in package objects are not a good idea | ||||
* | github markdown: use ###### for definitions and notes | Adriaan Moors | 2014-03-11 | 1 | -20/+10 |
| | |||||
* | github markdown: use ###### for examples | Adriaan Moors | 2014-03-11 | 1 | -88/+94 |
| | |||||
* | Catch up with latex spec. | Adriaan Moors | 2014-03-10 | 1 | -1/+1 |
| | |||||
* | github markdown: code blocks | Adriaan Moors | 2014-03-10 | 1 | -42/+42 |
| | |||||
* | github markdown: drop css classes | Adriaan Moors | 2014-03-10 | 1 | -28/+28 |
| | |||||
* | github markdown: headers | Adriaan Moors | 2014-03-10 | 1 | -12/+6 |
| | |||||
* | github markdown: numbered lists | Adriaan Moors | 2014-03-10 | 1 | -11/+11 |
| | |||||
* | Implicit Parameters and Values chapter converted | Iain McGinniss | 2012-12-20 | 1 | -298/+322 |
| | |||||
* | preface and lexical syntax chapter converted, other chapters | Iain McGinniss | 2012-10-17 | 1 | -0/+419 |
split into their own files |