aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ltac/ltac_plugin.mlpack
Commit message (Expand)AuthorAge
* Moving the Ltac-specific part of the nametab to the Ltac plugin.Gravatar Pierre-Marie Pédrot2017-10-03
* plugins/ltac : avoid spurious .cmxs filesGravatar Pierre Letouzey2017-06-15
* Revert "Add empty ltac_plugin file for forward compatibility."Gravatar Maxime Dénès2017-02-24
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-02-22
* Moving the Ltac plugin to a pack-based one.Gravatar Pierre-Marie Pédrot2017-02-17