aboutsummaryrefslogtreecommitdiffhomepage
path: root/ltac/profile_ltac.mli
Commit message (Expand)AuthorAge
* LtacProf: "Show Ltac Profile CutOff $N" (fix #5080)Gravatar Enrico Tassi2016-09-27
* profile_ltac: rewritten to be purely functional and STM awareGravatar Enrico Tassi2016-09-05
* LtacProf reports structured results (pr/209)Gravatar CJ Bell2016-06-20
* Better coding style (syntax).Gravatar Pierre-Marie Pédrot2016-06-14
* Adding Coq headers.Gravatar Pierre-Marie Pédrot2016-06-14
* Moving back Ltac profiling to the Ltac folder.Gravatar Pierre-Marie Pédrot2016-06-14