Home

Jump to bottom Edit New page

braibant edited this page Jul 5, 2011 · 14 revisions

TODO:

README
Documentation of the makefile (and how to use coq_makefile)
Documentation of how to install a plugin
License