Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add language to code blocks. Shorter Example title. | Adriaan Moors | 2014-03-26 | 1 | -21/+19 |
| | |||||
* | Fix #6: automatic section numbering. | Adriaan Moors | 2014-03-26 | 1 | -1/+2 |
| | | | | | | | | | | | | 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 | -2/+1 |
| | |||||
* | That was fun: fix internal links. | Adriaan Moors | 2014-03-13 | 1 | -6/+6 |
| | | | | | | | 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-5370 PartialFunction is a Function with queryable domain | Adriaan Moors | 2014-03-12 | 1 | -5/+2 |
| | |||||
* | SI-4980 isInstanceOf does not do outer checks | Adriaan Moors | 2014-03-12 | 1 | -5/+3 |
| | |||||
* | github markdown: tables | Adriaan Moors | 2014-03-11 | 1 | -1/+1 |
| | |||||
* | github markdown: use ###### for definitions and notes | Adriaan Moors | 2014-03-11 | 1 | -3/+0 |
| | |||||
* | github markdown: use ###### for examples | Adriaan Moors | 2014-03-11 | 1 | -57/+57 |
| | |||||
* | Catch up with latex spec. | Adriaan Moors | 2014-03-10 | 1 | -111/+113 |
| | |||||
* | github markdown: code blocks | Adriaan Moors | 2014-03-10 | 1 | -50/+50 |
| | |||||
* | github markdown: drop css classes | Adriaan Moors | 2014-03-10 | 1 | -22/+22 |
| | |||||
* | github markdown: headers | Adriaan Moors | 2014-03-10 | 1 | -12/+6 |
| | |||||
* | github markdown: numbered lists | Adriaan Moors | 2014-03-10 | 1 | -3/+3 |
| | |||||
* | Miscellaneous cleanups: | Simon Ochsenreither | 2013-02-21 | 1 | -3/+3 |
| | | | | | | | | - Value of Unit is (), not {} - Fix desugared pattern matching code - Mention object-protected values - Use uppercase type variables for Tuple/Function code - Replace Application with App | ||||
* | fixed reference to class diagram | Iain McGinniss | 2013-02-19 | 1 | -2/+2 |
| | | | | fixed undefined macro | ||||
* | standard library chapter converted | Iain McGinniss | 2012-12-20 | 1 | -445/+372 |
| | |||||
* | preface and lexical syntax chapter converted, other chapters | Iain McGinniss | 2012-10-17 | 1 | -0/+932 |
split into their own files |