This directory contains the source files of the website http://math-comp.github.io/.
Contributions to the material listed in papers.org are most welcome!
You can either propose a pull request, or send us ([email protected])
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.
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. After editing the .org file, you
should perform this operation to generate the .html file. Both files
can then be committed and pushed on the main repository (just modifying
the org file and pushing has no effect on the displayed page).