aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/auto_ind_decl.mli
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* New script dev/tools/change-header to automatically update Coq files headers.Gravatar herbelin2010-06-22
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* Restructuration of command.ml + generic infrastructure for inductive schemesGravatar herbelin2009-11-08
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Added the automatic generation of the boolean equality if possible and theGravatar vsiles2007-10-05