Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
At some point pandoc's behaviour seems to have changed, and its default Markdown flavour is a bit more picky about whitespace around e.g. unordered lists. This PR specifies a flavour of Markdown which seems to be a lot less picky, avoiding the need to introduce lots of whitespace into the cheatsheet Markdown.
mn200
commented
2 weeks ago
At some point
pandoc's behaviour seems to have changed, and its default Markdown flavour is a bit more picky about whitespace around e.g. unordered lists. This PR specifies a flavour of Markdown which seems to be a lot less picky, avoiding the need to introduce lots of whitespace into the cheatsheet Markdown.