aboutsummaryrefslogtreecommitdiff
path: root/pretyping/patternops.mli
AgeCommit message (Expand)Author
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-02Reduce dependencies of interface files.Guillaume Melquiond
2015-11-19Fix bug #4433, removing hack on evars appearing in a pattern from aMatthieu Sozeau
2015-03-03Fix bug #3590, keeping evars that are not turned into named metas byMatthieu Sozeau
2015-01-12Update headers.Maxime Dénès
2014-09-27Add a boolean to indicate the unfolding state of a primitive projection,Matthieu Sozeau
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2013-06-05Replacing lists by maps in matching interpretation.ppedrot
2013-04-29Merging Context and Sign.ppedrot
2012-12-14Modulification of identifierppedrot
2012-11-23Added a constr_pattern_eqppedrot
2012-08-08Updating headers.herbelin
2012-05-29global_reference migrated from Libnames to new Globnames, less deps in gramma...letouzey
2012-05-29Pattern as a mli-only file, operations in Patternopsletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 19:00:06 +0000