| Age | Commit message (Expand) | Author |
|---|
| 2008-01-17 | Bug in sqrt321 | thery |
| 2008-01-15 | Fix backtracking bugs: | lmamane |
| 2008-01-15 | Generalize instance declarations to any context, better name handling. Add ho... | msozeau |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances | notin |
| 2008-01-11 | implements a better way to respect the Unix convention that processes receive... | bertot |
| 2008-01-11 | Amélioration de la génération des graphes de dépendances (utilisation de ... | notin |
| 2008-01-10 | Correction du bug #1770: il semble que la recherche insensible à la casse ne... | notin |
| 2008-01-09 | Correction of bug #1769 | jforest |
| 2008-01-07 | Cleaner quantifiers for type classes, breaks clrewrite for the moment but imp... | msozeau |
| 2008-01-07 | Ajout d'une explication dans la FAQ pour le bug avec MOD4 sous Coqide | notin |
| 2008-01-07 | Remove spurious .d, better tactics. | msozeau |
| 2008-01-07 | Completion of 10427... | herbelin |
| 2008-01-05 | Fix a naming bug reported by Arnaud Spiwack, allow instance search to create ... | msozeau |
| 2008-01-05 | Correction bug #1749 (datant de l'implantation des or-patterns) + | herbelin |
| 2008-01-05 | Fixed bug 1761 (unexpected anomaly when constructor type has invalid | herbelin |
| 2008-01-05 | Added a note about the ambiguity of the syntax "qualid" in "tacarg" | herbelin |
| 2008-01-05 | Standardisation du format des références croisées vers Figure, Section, Ch... | herbelin |
| 2008-01-04 | more user-friendly versions of some properties lemmas in FSets/FMap | letouzey |
| 2008-01-04 | Add partial setoids in theories/Classes, add SetoidDec class for setoids with... | msozeau |
| 2008-01-04 | Prise en compte de CAMLP4LIB via fichier configure plutôt que dynamiquement | herbelin |
| 2008-01-02 | Implicit arguments in class field declarations | msozeau |
| 2008-01-02 | Better resolution of implicit parameters in typeclass binders, add extensiona... | msozeau |
| 2007-12-31 | Fix name capture bug and call the right pretyper in subtac. | msozeau |
| 2007-12-31 | Removed merge tracking for "svnmerge" for | msozeau |
| 2007-12-31 | Move Classes.Setoid to Classes.SetoidClass to avoid name clash. | msozeau |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-31 | Initialized merge tracking via "svnmerge" with revisions "1-10357" from | msozeau |
| 2007-12-21 | Pour éviter des erreus lors de make doc dues à du code source non taggé en... | notin |
| 2007-12-21 | Deux petits théorèmes utiles dans Minus.v | notin |
| 2007-12-21 | Ajouts de quelques tests sur les bugs | notin |
| 2007-12-19 | Suppression de commentaires inutiles | notin |
| 2007-12-18 | Correction du bug #1745 (installation des fichiers .vo de Numbers) | notin |
| 2007-12-18 | Petite correction sur coq_makefile | notin |
| 2007-12-18 | Maj du lien vers coq-bugs dans Coqide. | glondu |
| 2007-12-18 | Nettoyage de code en vue de la release. Plus de Warning: Unused | aspiwack |
| 2007-12-17 | Print Assumptions est pret pour la release. | aspiwack |
| 2007-12-17 | Correction d'un bug dans Coqdoc: les mots clés liés aux sections étaient s... | notin |
| 2007-12-17 | Quelques arguments en plus... | glondu |
| 2007-12-14 | Correction ordre d'affichage des champs des Record | herbelin |
| 2007-12-14 | Petite correction de Option.default (default faisait un Option.map | aspiwack |
| 2007-12-13 | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey |
| 2007-12-12 | Ajout d'un test pour le bug #1100 | notin |
| 2007-12-11 | Test pour le bug #1754 | notin |
| 2007-12-11 | Modification de la question no 172 de la FAQ (cf bug #1755) | notin |
| 2007-12-07 | Adding the tactic "instantiate" (without argument), to force the | glondu |
| 2007-12-07 | Ocaml toplevel convenience. | glondu |
| 2007-12-07 | Util.option_compare devient Option.Misc.Compare et change un peu de type | aspiwack |
| 2007-12-07 | Petit oubli de thery. | glondu |
| 2007-12-06 | Adding MemoFunction + Lowering Height | thery |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
