aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/omega/OmegaTactic.v
Commit message (Expand)AuthorAge
* Accomodating #4166 (providing "Require Import OmegaTactic" as aGravatar Hugo Herbelin2015-04-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-11 00:57:27 +0000