Commit message (Expand) | Author | Age | |
---|---|---|---|
* | -profile-ltac-cutoff alike Show Ltac Profile Cutoff (#5100) | 2016-09-29 | |
* | LtacProf: "Show Ltac Profile CutOff $N" (fix #5080) | 2016-09-27 | |
* | Better coding style (syntax). | 2016-06-14 | |
* | Adding Coq headers. | 2016-06-14 | |
* | Moving back Ltac profiling to the Ltac folder. | 2016-06-14 | |
* | Make Ltac Profiling an setting | 2016-06-05 | |
* | Synchronize the profiler state with the document | 2016-06-05 | |
* | LtacProf for Coq trunk | 2016-06-05 |