UniMath/UniMath — pull request #34 by benediktahrens (2014-10-22 20:47:20+00:00)
Title: Enhanced Coqdoc - proofs can be collapsed and hidden

this PR adds
```
$ make doc
```
to the Makefile, which postprocesses the HTML files produced. Through this postprocessing the proofs can be hidden and shown, thus allowing to focus on statements.