Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix documentation. | Matthieu Sozeau | 2015-07-27 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-07-18 |
* | Merge branch 'v8.5' into trunk | Maxime Dénès | 2015-07-02 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-06-28 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-06-01 |
* | Adding a primitive to the tactic monad to modify the exceptional content. | Pierre-Marie Pédrot | 2015-05-07 |
* | Exposing the minimal amount of internal of the Logic monad in order to | Pierre-Marie Pédrot | 2015-05-06 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-05-05 |
* | Merge branch 'v8.5' | Pierre-Marie Pédrot | 2015-03-23 |
* | Moving Proofview_monad to the engine/ folder. | Pierre-Marie Pédrot | 2015-02-28 |
* | Adding a new folder corresponding to the low-level part of the pretyper | Pierre-Marie Pédrot | 2015-02-27 |