Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-11-03 | Fix typos | Dimitris Apostolou | |
2020-07-31 | Enable syntax highlighting | Eelco Dolstra | |
2020-07-24 | Fix some dangling references | Eelco Dolstra | |
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 callouts since Markdown doesn't support them | Eelco Dolstra | |
2020-07-23 | Pandoc conversion | Eelco Dolstra | |