aboutsummaryrefslogtreecommitdiff
path: root/intf/evar_kinds.mli
AgeCommit message (Expand)Author
2017-06-07Put all plugins behind an "API".Matej Kosik
2017-06-05Merge PR#590: A more explicit algebraic type for evars of kind MatchingVar + ...Maxime Dénès
2017-05-31Using a more explicit algebraic type for evars of kind "MatchingVar".Hugo Herbelin
2017-05-30Support for using type information to infer more precise evar sources.Hugo Herbelin
2017-04-28Revert "Using a more explicit algebraic type for evars of kind "MatchingVar"."Maxime Dénès
2017-04-28Using a more explicit algebraic type for evars of kind "MatchingVar".Hugo Herbelin
2017-01-22Adding a new evar source to remember the name of evars which wereHugo Herbelin
2016-01-20Update copyright headers.Maxime Dénès
2015-01-12Update headers.Maxime Dénès
2014-12-11Tentatively more informative report of failure when inferringHugo Herbelin
2014-12-07Improved tracking of the origin of evars.Hugo Herbelin
2014-06-13Improved error message when a meta posed as an evar remains unsolvedHugo Herbelin
2012-12-18Modulification of nameppedrot
2012-12-14Modulification of identifierppedrot
2012-08-08Updating headers.herbelin
2012-05-29global_reference migrated from Libnames to new Globnames, less deps in gramma...letouzey
2012-05-29Evar_kinds.mli containing former Evd.hole_kind, avoid deps on Evdletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 01:48:49 +0000