aboutsummaryrefslogtreecommitdiff
path: root/pretyping/program.mli
AgeCommit message (Expand)Author
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-02-04Remove `unsafe_type_of` from `Coercion`Maxime Dénès
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-05-23Fixing typos - Part 3JPR
2018-05-04[api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-05-29Pretyping cleanup: remove constr_of_global callsMatthieu Sozeau
2017-02-14Cases API using EConstr.Pierre-Marie Pédrot
2017-02-14Coercion API using EConstr.Pierre-Marie Pédrot
2016-06-29Program: cleanup in cases, add optionsMatthieu Sozeau
2016-06-27Rework treatment of default transparency of obligationsMatthieu Sozeau
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-05-06Correct rebase on STM code. Thanks to E. Tassi for help on dealing withMatthieu Sozeau
2012-08-08Updating headers.herbelin
2012-06-25Added a .mli to pretyping/program.mlppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:17:42 +0000