aboutsummaryrefslogtreecommitdiff
path: root/user-contrib/Ltac2/Init.v
AgeCommit message (Expand)Author
2021-03-19implement is_const, is_var, ... etc and has_evar for Ltac2Samuel Gruetter
2021-01-22Add a type of format strings to Ltac2.Pierre-Marie Pédrot
2020-03-18Hide the Ltac2 binder type.Pierre-Marie Pédrot
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-01Add primitive floats to Ltac2Pierre Roux
2019-10-29Fix #10615: Notation substitution for Ltac2 terms.Pierre-Marie Pédrot
2019-10-07chmod -x some filesJason Gross
2019-06-25Merge PR #10219: [Ltac2] Add util files for Bool, List, OptionPierre-Marie Pédrot
2019-06-19Removed backtracking and default variants of various functions and added opti...Michael Soegtrop
2019-06-17Update headers of files that were stuck on older headers.Théo Zimmermann
2019-06-16- added OCaml copyright header to List.v (if for no other reason than out of ...Michael Soegtrop
2019-05-22[Ltac2] Add util files for Bool, List, OptionJason Gross
2019-05-10[ltac2] Add primitive integersPierre Roux
2019-05-07Integrate build and documentation of Ltac2Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:50 +0000