7 commits

Author	SHA1	Message	Date
Theodor René Carlsen	89b4df8d92	Add link to explanation when introducing a new operator ... The logical implication operator is included in this section but never explained. It might stump new readers with a pretty uncommon operator, and it's never referenced explicitly.	2022-01-11 17:01:43 +01:00
Eelco Dolstra	1d0a7b54fa	Enable syntax highlighting	2020-07-31 15:43:25 +02:00
Eelco Dolstra	8d0b311a1c	Get rid of footnotes ... Markdown doesn't support them.	2020-07-24 11:43:44 +02:00
Eelco Dolstra	802150f987	<replaceable> -> <emphasis> ... Pandoc doesn't know <replaceable> so let's force it to be rendered as italics.	2020-07-23 18:27:20 +02:00
Eelco Dolstra	ee05108472	<simplesect> -> <section> ... Pandoc silently ignores <simplesect>...	2020-07-23 18:27:20 +02:00
Eelco Dolstra	13df1faf25	Get rid of callouts since Markdown doesn't support them	2020-07-23 18:27:20 +02:00
Eelco Dolstra	ef606760ab	Pandoc conversion	2020-07-23 18:26:48 +02:00