| Age | Commit message (Expand) | Author |
|---|
| 2009-12-24 | Opened the possibility to type Ltac patterns but it is not fully functional yet | herbelin |
| 2009-11-11 | Promote evar_defs to evar_map (in Evd) | glondu |
| 2009-11-09 | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin |
| 2009-10-29 | Hopefully improved layout of fix guardness error message. | herbelin |
| 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-03-28 | Rewrite of Program Fixpoint to overcome the previous limitations: | msozeau |
| 2009-03-22 | Backport from v8.2 branch of 11986 (interpretation of quantified | herbelin |
| 2009-03-04 | commande Timeout + compaction des traces de debug_tactic | barras |
| 2009-02-19 | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack |
| 2009-01-11 | - Deactivation of dynamic loading on Mac OS 10.5 (see bug #2024). | herbelin |
| 2008-12-31 | Moved parts of Sign to Term. Unified some names (e.g. decomp_n_prod -> | herbelin |
| 2008-11-28 | Inductive parameters: nicer doc examples and error message | letouzey |
| 2008-11-09 | - Fixed bug 1968 (inversion failing due to a Not_found bug introduced in | herbelin |
| 2008-11-05 | Fix in the unification algorithm using evars: unify types of evar | msozeau |
| 2008-10-24 | Raise informative errors instead of Failures or anomalies in case a meta | msozeau |
| 2008-09-14 | Fix bug #1940: uncaught exception when searching for a type class. | msozeau |
| 2008-08-21 | Various fixes w.r.t typeclasses and subtac: resolve tcs properly inside | msozeau |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-26 | - Pour CoRN, rétablissement notations Qgt/Qge (mais cette fois avec | herbelin |
| 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-13 | Temporary fix for bug #1876, printing fails because of unresolved | msozeau |
| 2008-06-11 | Optionally (and by default) split typeclasses evars into connected | msozeau |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-04-27 | Quelques bricoles autour de l'unification: | herbelin |
| 2008-04-17 | Bug squashing day ! | msozeau |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | 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 |
| 2008-03-10 | Une passe sur l'unification des evars (suite aux commits 10124, 10125, 10145) | herbelin |
| 2008-02-08 | Add more information to IllFormedRecBody exceptions, to show the exact | msozeau |
| 2008-01-18 | Fix bug #1778, better typeclass error messages. Move Obligations Tactic to a ... | msozeau |
| 2008-01-05 | Fixed bug 1761 (unexpected anomaly when constructor type has invalid | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-05-29 | Correction d'un bug dans l'affichage du message d'erreur real_clean | herbelin |
| 2007-05-17 | Nettoyage et standardisation des messages d'erreurs. | herbelin |
| 2007-03-19 | Add a parameter to QuestionMark evar kind to say it can be turned into an obl... | msozeau |
| 2007-02-24 | Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo... | herbelin |
| 2007-02-21 | Utilisation de l'environnement pour l'affichage de certains messages d'erreurs | herbelin |
| 2007-01-24 | Tentative amélioration messages d'erreur prédicat d'élimination (cf notamment | herbelin |
| 2006-10-05 | Correction d'un bug dans l'unification: lors de l'unification d'un meta m et ... | notin |
| 2006-05-23 | Nouvelle implantation du polymorphisme de sorte pour les familles inductives | herbelin |
| 2006-02-07 | Messages nth branche | herbelin |
| 2006-02-07 | Amélioration des messages d'erreurs de tacred; unfold considère maintenant le | herbelin |
| 2006-01-30 | Message d'erreur si l'inductif d'une clause "in" d'un match n'a pas la | herbelin |
