Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2016-01-21 |
|\ | |||
| * | Update copyright headers. | Maxime Dénès | 2016-01-20 |
* | | Implementing non-focussed generic arguments. | Pierre-Marie Pédrot | 2015-12-28 |
* | | Using dynamic values in tactic evaluation. | Pierre-Marie Pédrot | 2015-12-21 |
|/ | |||
* | Update headers. | Maxime Dénès | 2015-01-12 |
* | Now, idtac closures use maps instead of association list. | ppedrot | 2013-06-22 |
* | Splitted up Genarg in four different levels: | ppedrot | 2013-06-21 |