Documentation fixes, clarifications and unification

dominikschnitzer · Oct 8, 2014 · f7d067c · f7d067c
1 parent bd973b9
commit f7d067c
Show file tree

Hide file tree

Showing 4 changed files with 541 additions and 509 deletions.
diff --git a/doc/html/index.html b/doc/html/index.html