aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssrmatching
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* ssrmatching: avoid warnings about redundant typing clauses in ARGUMENT EXTENDGravatar Pierre Letouzey2016-06-27
* ssrmatching: giving proper credits to the original author(s)Gravatar Enrico Tassi2016-06-15
* ssrmatching: ltac argument parsing made more robustGravatar Enrico Tassi2016-06-15
* ssrmatching: debug prints sent via msg_debugGravatar Enrico Tassi2016-06-15
* Rename "Set SsrMatchingDebug" into "Set Debug SsrMatching"Gravatar Enrico Tassi2016-06-15
* port ssrmatching plugin to the new makefileGravatar Enrico Tassi2016-06-14
* Ssreflect pattern matching facilitiesGravatar Enrico Tassi2016-03-02