Improve developer documentation v2#2750

Merged

peterschrammel merged 23 commits intodiffblue:developfrom

johnnonweiler:documentation-structure

Aug 21, 2018

Commits on Aug 13, 2018

Describe the aim of the documentation marked as "For contributors"
Owen
committed
Move "Tutorial" section to the right place
Owen
committed
Improve how a sentence reads
Owen
committed
Move two items out of list
Owen
committed
Add links to module level documentation
Owen
committed

Commits on Aug 14, 2018

Fix "#" being converted to "::" in doxygen
Owen Jones
committed
Fix apostrophe
Owen Jones
committed
Add in empty lines after headings
Owen Jones
committed
Add references to class-level documentation
Owen Jones
committed
Add header for orphaned diagram
Owen Jones
committed
Move docs from guide to module-level docs
Owen Jones
committed
Fix minor typos
Owen Jones
committed
Combined many pages of developer docs into one
Owen Jones
committed
Switch one file from ## to using sections
Owen Jones
committed

Commits on Aug 15, 2018

Move examples from code-walkthrough to linked module
John Nonweiler
committed
Move java_bytecode explanations to module doc
John Nonweiler
committed
Move solvers API description to solvers module
John Nonweiler
committed
Delete one word ('testing')
John Nonweiler
committed

Commits on Aug 16, 2018

Add sections to java_bytecode/README.md
John Nonweiler
committed
Add outline to module docs
John Nonweiler
committed
Change heading in java-bytecode docs
John Nonweiler
committed
Move 'Flattening' section in solvers/README.md
John Nonweiler
committed

Commits on Aug 20, 2018

Remove links to classes from high level overview
John Nonweiler
committed