6.2 is the minimum tested compiler by our CI (on envinf1).
6.5 is the default gcc 6 in Ubuntu 16.04 when using the ubuntu-toolchain-r/test PPA.

;-separated list of processes to build, e.g.:

cmake . -DOGS_BUILD_PROCESSES="HT;LIE"

Lars Bilke authored 6 years ago and Dmitri Naumov committed 6 years ago

Fixes formula rendering errors. Pandoc is also a superset of Markdown
with lots of useful features. For the future we should use just Pandoc
as format.