Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |