Doc/move irep docs from util to irep#2618

Merged

owen-mc-diffblue merged 6 commits intodiffblue:developfrom

owen-mc-diffblue:doc/move-irep-docs-from-util-to-irep

Aug 1, 2018

Commits on Jul 31, 2018

Move documentation of irept to be above irept
Owen Jones
committed
Move dstringt documentation to above dstringt
Owen Jones
committed
Address review comments
Owen Jones
committed
Add \ref in lots of places
Owen Jones
committed
Wrap lines properly
Owen
committed
Address review comments #2
Owen Jones
committed