aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ssrmatching
Commit message (Expand)AuthorAge
* Moving Ltac-specific parsing API to ltac/ folder.Gravatar Pierre-Marie Pédrot2016-09-14
* Make the user_err header an optional parameter.Gravatar Emilio Jesus Gallego Arias2016-08-19
* Remove errorlabstrm in favor of user_errGravatar Emilio Jesus Gallego Arias2016-08-19
* Unify location handling of error functions.Gravatar Emilio Jesus Gallego Arias2016-08-19
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-04 12:03:38 +0000