Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | That was fun: fix internal links. | Adriaan Moors | 2014-03-13 | 1 | -15/+15 |
| | | | | | | | 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... | ||||
* | fix some links | Adriaan Moors | 2014-03-13 | 1 | -1/+1 |
| | |||||
* | wip: jekyllify | Adriaan Moors | 2014-03-13 | 1 | -0/+5 |
| | |||||
* | formatting: tables and headings | Adriaan Moors | 2014-03-12 | 1 | -6/+5 |
| | |||||
* | SI-7313 method types of implicit and non-implicit parameter sections are ↵ | Adriaan Moors | 2014-03-12 | 1 | -8/+9 |
| | | | | never equivalent | ||||
* | github markdown: tables | Adriaan Moors | 2014-03-11 | 1 | -1/+2 |
| | |||||
* | github markdown: use ###### for definitions and notes | Adriaan Moors | 2014-03-11 | 1 | -18/+18 |
| | |||||
* | github markdown: use ###### for examples | Adriaan Moors | 2014-03-11 | 1 | -152/+172 |
| | |||||
* | Catch up with latex spec. | Adriaan Moors | 2014-03-10 | 1 | -0/+34 |
| | |||||
* | github markdown: code blocks | Adriaan Moors | 2014-03-10 | 1 | -70/+70 |
| | |||||
* | github markdown: drop css classes | Adriaan Moors | 2014-03-10 | 1 | -49/+49 |
| | |||||
* | github markdown: headers | Adriaan Moors | 2014-03-10 | 1 | -16/+8 |
| | |||||
* | github markdown: numbered lists | Adriaan Moors | 2014-03-10 | 1 | -16/+16 |
| | |||||
* | Over-wide line fix for types grammar | Iain McGinniss | 2013-02-21 | 1 | -3/+4 |
| | | | | | | The ExistentialClause definition was slightly too large to fit within the text width of the PDF, so a manual line break has been added. | ||||
* | Miscellaneous cleanups: | Simon Ochsenreither | 2013-02-21 | 1 | -2/+2 |
| | | | | | | | | - 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 | ||||
* | use \sigma instead of raw unicode character in math mode, as it | Iain McGinniss | 2013-02-19 | 1 | -1/+1 |
| | | | | does not render in the PDF otherwise. | ||||
* | types chapter fully converted. Added link to jquery and some experimental | Iain McGinniss | 2012-10-26 | 1 | -406/+399 |
| | | | | | code for a fixed pop-out version of the table of contents, which is currently disabled. | ||||
* | interim commit of conversion of types chapter | Iain McGinniss | 2012-10-22 | 1 | -531/+530 |
| | |||||
* | preface and lexical syntax chapter converted, other chapters | Iain McGinniss | 2012-10-17 | 1 | -0/+1014 |
split into their own files |