- 17 Feb, 2017 14 commits
- 14 Jan, 2017 2 commits
- 26 Dec, 2016 6 commits
- 17 Dec, 2016 6 commits
- 15 Dec, 2016 3 commits
- 13 Dec, 2016 4 commits
- 12 Dec, 2016 5 commits
Added a list of forms and their statements, removed ancestors/descendants graphing (resulting graphs way too large).
and a warning since these can easily produce very large diagrams.
temporary hack to take care of large diagrams