aboutsummaryrefslogtreecommitdiffhomepage
path: root/interp/stdarg.ml
Commit message (Expand)AuthorAge
* Removing dead code in Genarg.Gravatar Pierre-Marie Pédrot2016-03-19
* Removing the special status of generic entries defined by Coq itself.Gravatar Pierre-Marie Pédrot2016-03-17
* Removing the registering of default values for generic arguments.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
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Moving wit_unit to Stdarg.Gravatar ppedrot2013-06-19
* Proof-of-concept: moved four easy-to-handle generic arguments toGravatar ppedrot2013-06-18