Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-07-31 | Enable syntax highlighting | Eelco Dolstra | |
2020-07-24 | Fix internal links | Eelco Dolstra | |
2020-07-24 | Fix some dangling references | Eelco Dolstra | |
2020-07-24 | Get rid of footnotes | Eelco Dolstra | |
Markdown doesn't support them. | |||
2020-07-23 | <replaceable> -> <emphasis> | Eelco Dolstra | |
Pandoc doesn't know <replaceable> so let's force it to be rendered as italics. | |||
2020-07-23 | Get rid of <figure> | Eelco Dolstra | |
2020-07-23 | Get rid of <example> | Eelco Dolstra | |
Markdown doesn't have floats so we can't have this. | |||
2020-07-23 | Reconvert | Eelco Dolstra | |
2020-07-23 | Pandoc conversion | Eelco Dolstra | |