aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/tools/coqrst/notations/Makefile
Commit message (Expand)AuthorAge
* Integration of a sphinx-based documentation generator.Gravatar Maxime Dénès2018-03-09