aboutsummaryrefslogtreecommitdiff
path: root/proofs/proof_using.ml
AgeCommit message (Expand)Author
2017-05-25Merge PR#481: [option] Remove support for non-synchronous options.Maxime Dénès
2017-05-24[option] Remove support for non-synchronous options.Emilio Jesus Gallego Arias
2017-04-25[location] Remove Loc.ghost.Emilio Jesus Gallego Arias
2017-03-24[nit] Fix a couple incorrect uses of msg_error.Emilio Jesus Gallego Arias
2017-03-21[pp] [ide] Minor cleanups in pp code.Emilio Jesus Gallego Arias
2016-08-24CLEANUP: minor readability improvementsMatej Kosik
2016-08-24CLEANUP: removing calls of the "Context.Named.Declaration.to_tuple" functionMatej Kosik
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-20Update copyright headers.Maxime Dénès
2015-10-08Proof using: let-in policy, optional auto-clear, forward closure*Enrico Tassi
2015-01-12Update headers.Maxime Dénès
2014-12-28remove debug prints (leftover)Enrico Tassi
2014-12-19Better doc and a few fixes for Proof using.Enrico Tassi
2014-12-18Proof using: New vernacular to name sets of section variablesEnrico Tassi
2014-01-05Proof_using: new syntax + suggestionEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:13:26 +0000