Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add language to code blocks. Shorter Example title. | Adriaan Moors | 2014-03-26 | 1 | -23/+23 |
| | |||||
* | Fix #6: automatic section numbering. | Adriaan Moors | 2014-03-26 | 1 | -2/+3 |
| | | | | | | | | | | | | Add chapter number to YAML, which is replace in numbering.css. Use CSS counters for chapters, sections, subsections | examples. Examples are detected by looking at the H3 element's id, which redcarpet derives from the heading's title. It must start with "Example:", and the whole title is suppressed by a little javascript, so we can make Examples look like in the pdf. For example, `### Example:` becomes `Example 3.2.10`, if it's the 10th example in Section 3.2. | ||||
* | formatting | Adriaan Moors | 2014-03-26 | 1 | -6/+4 |
| | |||||
* | 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 |