Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Simplifying code in evar generation. | Pierre-Marie Pédrot | 2016-08-04 |
* | Exporting the renaming API for evar declaration. | Pierre-Marie Pédrot | 2016-08-04 |
* | Adding a bit of documentation in the mli. | Pierre-Marie Pédrot | 2016-06-09 |
* | Moving Evarutil and Proofview to engine/ | Pierre-Marie Pédrot | 2016-03-20 |