aboutsummaryrefslogtreecommitdiff
path: root/plugins/ltac/profile_ltac.ml
AgeCommit message (Expand)Author
2017-03-14[safe-string] ltac/profile_ltacEmilio Jesus Gallego Arias
2017-02-17Ltac as a plugin.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 11:01:14 +0000