aboutsummaryrefslogtreecommitdiff
path: root/plugins/ssrmatching/ssrmatching.ml
AgeCommit message (Expand)Author
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-11-28[ltac] Remove aliases already present in the lower layers.Emilio Jesus Gallego Arias
2018-11-20Merge PR #9017: Remove SSR profilingEnrico Tassi
2018-11-17[ltac] Use CAst nodes in the tactic AST.Emilio Jesus Gallego Arias
2018-11-16Remove SSR profilingJim Fehrle
2018-11-14ssrmatching: unify_HO does not resolve type classesEnrico Tassi
2018-10-30Avoid passing dummy env to error printerMaxime Dénès
2018-10-26[typeclasses] functionalize typeclass evar handlingMatthieu Sozeau
2018-10-26Cleanup evar_extra: remove evar_info's store and add maps to evar_mapMatthieu Sozeau
2018-10-15Correct some spelling errorsBenjamin Barenblat
2018-09-19[ssr] use the right environment in ssrpattern (fix #8454)Enrico Tassi
2018-09-04[ssr] anomaly -> error (Fix #8253)Enrico Tassi
2018-07-29Adding support for custom entries in notations.Hugo Herbelin
2018-06-30Split the Ssrmatching module between code and grammar rules.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-11 01:42:34 +0000