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