aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/ftactic.mli
Commit message (Expand)AuthorAge
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Monotonizing Ftactic.Gravatar Pierre-Marie Pédrot2016-01-08
* | Implementing non-focussed generic arguments.Gravatar Pierre-Marie Pédrot2015-12-28
* | Indexing Proofview.goals with a stage.Gravatar Pierre-Marie Pédrot2015-10-20
|/
* Update headers.Gravatar Maxime Dénès2015-01-12
* Info: tactic notations (TacAlias) print their names.Gravatar Arnaud Spiwack2014-11-01
* Renaming goal-entering functions.Gravatar Pierre-Marie Pédrot2014-09-06
* Adding a Ftactic module for potentially focussing tactics.Gravatar Pierre-Marie Pédrot2014-09-05