aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/stdarg.mli
Commit message (Expand)AuthorAge
* Merging Stdarg and Constrarg.Gravatar Pierre-Marie Pédrot2016-09-21
* Removing the special status of generic entries defined by Coq itself.Gravatar Pierre-Marie Pédrot2016-03-17
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Moving wit_unit to Stdarg.Gravatar ppedrot2013-06-19
* Proof-of-concept: moved four easy-to-handle generic arguments toGravatar ppedrot2013-06-18