| Age | Commit message (Expand) | Author |
|---|
| 2014-03-05 | Remove some dead-code (thanks to ocaml warnings) | Pierre Letouzey |
| 2013-10-06 | Removing uses of Evar.add in class-related functions. | ppedrot |
| 2013-04-29 | Splitting Term into five unrelated interfaces: | ppedrot |
| 2013-02-18 | Removing Exc_located and using the new exception enrichement | ppedrot |
| 2012-12-14 | Modulification of identifier | ppedrot |
| 2012-10-02 | Remove some more "open" and dead code thanks to OCaml4 warnings | letouzey |
| 2012-09-14 | Partial revert of Yann commit in order to use CLib.List when opening | ppedrot |
| 2012-09-14 | This patch removes unused "open" (automatically generated from | regisgia |
| 2012-08-08 | Updating headers. | herbelin |
| 2012-06-22 | Added an indirection with respect to Loc in Compat. As many [open Compat] | ppedrot |
| 2012-05-29 | global_reference migrated from Libnames to new Globnames, less deps in gramma... | letouzey |
| 2012-05-29 | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr | letouzey |
| 2012-05-29 | Evar_kinds.mli containing former Evd.hole_kind, avoid deps on Evd | letouzey |
| 2012-03-02 | Noise for nothing | pboutill |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-05-19 | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2009-11-11 | Promote evar_defs to evar_map (in Evd) | glondu |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-06-18 | Fix "unsatisfiable constraints" error messages to include all the | msozeau |
| 2009-06-11 | Use a lazy value for the message in FailError, so that it won't be | msozeau |
| 2009-05-19 | Remove camlp4-specific exception handling | msozeau |
| 2009-05-18 | Minor unification changes: | msozeau |
| 2009-02-19 | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack |
| 2008-06-21 | Code cleanup in typeclasses, remove dead and duplicated code. | msozeau |
| 2008-06-17 | Better typeclass error messages, always giving the full set of | msozeau |
| 2008-06-11 | Optionally (and by default) split typeclasses evars into connected | msozeau |
| 2008-05-23 | - Fix bug #1858, Hint Unfold calling the wrong locate function. | msozeau |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-28 | Improve error handling and messages for typeclasses. | msozeau |
| 2008-03-27 | Various fixes on typeclasses: | msozeau |
| 2008-03-19 | Do another pass on the typeclasses code. Correct globalization of class | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
