Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix another missing newline | Jason Gross | 2016-06-16 |
* | Fix a printing typo | Jason Gross | 2016-06-16 |
* | Commenting out debugging code. | Pierre-Marie Pédrot | 2016-06-14 |
* | Correct use of printing primitives. | Pierre-Marie Pédrot | 2016-06-14 |
* | Better coding style (semantics). | Pierre-Marie Pédrot | 2016-06-14 |
* | Better coding style (syntax). | Pierre-Marie Pédrot | 2016-06-14 |
* | Adding Coq headers. | Pierre-Marie Pédrot | 2016-06-14 |
* | Moving back Ltac profiling to the Ltac folder. | Pierre-Marie Pédrot | 2016-06-14 |