aboutsummaryrefslogtreecommitdiffhomepage
path: root/proofs/proof_using.ml
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Merge PR#481: [option] Remove support for non-synchronous options.Gravatar Maxime Dénès2017-05-25
|\
| * [option] Remove support for non-synchronous options.Gravatar Emilio Jesus Gallego Arias2017-05-24
* | [location] Remove Loc.ghost.Gravatar Emilio Jesus Gallego Arias2017-04-25
|/
* [nit] Fix a couple incorrect uses of msg_error.Gravatar Emilio Jesus Gallego Arias2017-03-24
* [pp] [ide] Minor cleanups in pp code.Gravatar Emilio Jesus Gallego Arias2017-03-21
* CLEANUP: minor readability improvementsGravatar Matej Kosik2016-08-24
* CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" functionGravatar Matej Kosik2016-08-24
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Proof using: let-in policy, optional auto-clear, forward closure*Gravatar Enrico Tassi2015-10-08
* Update headers.Gravatar Maxime Dénès2015-01-12
* remove debug prints (leftover)Gravatar Enrico Tassi2014-12-28
* Better doc and a few fixes for Proof using.Gravatar Enrico Tassi2014-12-19
* Proof using: New vernacular to name sets of section variablesGravatar Enrico Tassi2014-12-18
* Proof_using: new syntax + suggestionGravatar Enrico Tassi2014-01-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 20:55:23 +0000