| Commit message (Expand) | Author | Age |
|---|
| * | 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-04 |
| * | Implicit arguments in class field declarations | msozeau | 2008-01-02 |
| * | Better resolution of implicit parameters in typeclass binders, add extensiona... | msozeau | 2008-01-02 |
| * | 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-31 |
| * | 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-21 |
| * | Suppression de commentaires inutiles | notin | 2007-12-19 |
| * | 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-18 |
| * | 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-17 |
| * | 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-14 |
| * | migration of ide/utf8.v to theories/Unicode/Utf8.v |  letouzey | 2007-12-13 |
| * | Ajout d'un test pour le bug #1100 | notin | 2007-12-12 |
| * | Test pour le bug #1754 | notin | 2007-12-11 |
| * | Modification de la question no 172 de la FAQ (cf bug #1755) | notin | 2007-12-11 |
| * | 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-07 |
| * | 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-06 |
| * | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
| * | Ajout de l'axiomatisation des entiers à la documentation de la librairie sta... | notin | 2007-11-28 |
| * | bug correction in functional inversion principle generation |  jforest | 2007-11-27 |
| * | minor bug correction in Function | jforest | 2007-11-26 |
| * | * 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-24 |
| * | An update on Numbers. Added two files dealing with recursion, for information... |  emakarov | 2007-11-22 |
| * | Extraction inlines Wf.Fix by default (wish of Y.Bertot) | letouzey | 2007-11-21 |
| * | extensible version | thery | 2007-11-21 |
| * | Bug in functionnal induction principle generation | jforest | 2007-11-19 |
| * | Added theorems; created NZPlusOrder from NTimesOrder. | emakarov | 2007-11-16 |
| * | Split NTimesOrder into properly NTimesOrder and NPlusOrder. | emakarov | 2007-11-15 |
| * | Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder... | emakarov | 2007-11-14 |
| * | Correcting a segfault on amd64 arch with native compiler of ocaml 3.10 | jforest | 2007-11-13 |
| * | Correction du bug #1741 | notin | 2007-11-12 |
| * | A result about Zsgn(a/b), both for Zdiv and ZOdiv | letouzey | 2007-11-10 |
| * | First reasonably complete version of ZOdiv, including some properties | letouzey | 2007-11-10 |
msozeau
herbelin
notin
glondu
aspiwack
letouzey
thery
jforest
emakarov