About
This directory contains the source files of the website http://math-comp.github.io/.
Mathematical Components related publications
Contributions to the material listed in papers.org are most welcome!
You can either propose a pull request, or send us (mathcomp-dev@inria.fr)
a pointer to a missing reference.
Watch (release only should be enough) the present project to be
informed about mathcomp related publications.
Please push a git tag with every commit inserting a new reference, so that watchers get notified.
Tips
Html files pushed here are put online straight away.
Running make in the htmldoc directory updates the html files
generated by coqdoc and the library graph.
Some html files are actually generated from eponymous org files
(extension .org). They are generated using emacs: open the
blah.org with emacs, press C-c C-e h h to generate the
corresponding blah.html.