| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2007-12-06 | Commit intermédiaire express de réparation de coqide.ml, que j'avais | aspiwack |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-11-28 | Ajout de l'axiomatisation des entiers à la documentation de la librairie sta... | notin |
| 2007-11-27 | bug correction in functional inversion principle generation | jforest |
| 2007-11-26 | minor bug correction in Function | jforest |
| 2007-11-24 | * A few Parameter Inline, but they dont seem to help much concerning | letouzey |
| 2007-11-24 | small improvements about Qc. Beware: Qlt_trans becomes Qclt_trans (as it ough... | letouzey |
| 2007-11-22 | An update on Numbers. Added two files dealing with recursion, for information... | emakarov |
| 2007-11-21 | Extraction inlines Wf.Fix by default (wish of Y.Bertot) | letouzey |
| 2007-11-21 | extensible version | thery |
| 2007-11-19 | Bug in functionnal induction principle generation | jforest |
| 2007-11-16 | Added theorems; created NZPlusOrder from NTimesOrder. | emakarov |
