aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins
Commit message (Expand)AuthorAge
* Fixes in Program: Gravatar msozeau2009-04-07
* Move setoid_rewrite to its own module and do some clean up inGravatar msozeau2009-04-07
* Ocamlbuild: improvements suggested by N. PouillardGravatar letouzey2009-04-03
* Add a more general quote constructionGravatar glondu2009-03-30
* Fix some typos and spacesGravatar glondu2009-03-30
* Csdpcert: adaptation after last commitGravatar letouzey2009-03-29
* Micromega: improvement of the code obtained by extractionGravatar letouzey2009-03-29
* Rewrite of Program Fixpoint to overcome the previous limitations: Gravatar msozeau2009-03-28
* Fix static compilation of numeral syntax (typo in _mod files, sorry ...)Gravatar letouzey2009-03-28
* ZMicromega: useless dependency toward ZArith.IntGravatar letouzey2009-03-28
* Parsing files for numerals (+ ascii/string) moved into pluginsGravatar letouzey2009-03-27
* GroebnerZ: no more admitted lemmasGravatar letouzey2009-03-27
* Fixes in Program well-founded definitions:Gravatar msozeau2009-03-26
* ocamlbuild: coqide, coqchk, a bit of .voGravatar letouzey2009-03-26
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 00:05:42 +0000