Minor fixes to documentation outline#2702

Merged

tautschnig merged 3 commits intodiffblue:developfrom

owen-mc-diffblue:doc/minor-fixes-to-cprover-developer-documentation

Aug 10, 2018

Commits on Aug 10, 2018

Minor fixes to documentation outline
Owen Jones
committed
Replace unicode arrows → with ascii ones ->
Owen Jones
committed
Replace -> with →
Owen Jones
committed