Further manual fixes#4425

Merged

tautschnig merged 7 commits intodevelopfrom

Mar 23, 2019

Commits on Mar 23, 2019

manual: fix references
Daniel Kroening
committed
manual: fix formatting of cbmc output
Daniel Kroening
committed
manual: remove unnecessary indentation
Daniel Kroening
committed
manual: end a sentence
Daniel Kroening
committed
manual: remove superflous dot
Daniel Kroening
committed
manual: typo
Daniel Kroening
committed
manual: markdown in jbmc manual
Daniel Kroening
committed