aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/geninterp.ml
Commit message (Expand)AuthorAge
* Adding a default object to generic argument registering mechanism.Gravatar Pierre-Marie Pédrot2014-01-19
* Using functors to reduce the boilerplate used in registeringGravatar ppedrot2013-06-30
* Now, idtac closures use maps instead of association list.Gravatar ppedrot2013-06-22
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21