| Age | Commit message (Expand) | Author |
|---|
| 2011-11-21 | theories/, plugins/ and test-suite/ ported to the Arguments vernacular | gareuselesinge |
| 2011-06-21 | Follow-up concerning eqb / ltb / leb comparisons | letouzey |
| 2010-12-10 | First release of Vector library. | pboutill |
| 2010-12-06 | Numbers and bitwise functions. | letouzey |
| 2010-11-18 | Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits | letouzey |
| 2010-10-23 | Used multiple lists of implicit arguments to transfer the choices of | herbelin |
| 2010-09-28 | Bvector.Vshiftin was wrong for ages | pboutill |
| 2010-07-24 | Updated all headers for 8.3 and trunk | herbelin |
| 2010-07-18 | Reverted 13293 commited mistakenly. Sorry for the noise. | herbelin |
| 2010-07-18 | Tentative de suppression de l'import automatique des hints et coercions. | herbelin |
| 2010-07-16 | Bool: shorter and more systematic proofs + an iff lemma about eqb | letouzey |
| 2010-07-10 | Bool: iff lemmas about or, a reflect inductive, an is_true function | letouzey |
| 2010-04-29 | Remove the svn-specific $Id$ annotations | letouzey |
| 2010-02-17 | Kill some useless dependencies (Bvector, Program.Syntax) | letouzey |
| 2009-12-09 | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey |
| 2009-11-06 | Numbers: finish files NStrongRec and NDefOps | letouzey |
| 2009-11-02 | Remove various useless {struct} annotations | letouzey |
| 2009-09-28 | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-09-09 | Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements | letouzey |
| 2008-05-28 | - Correction bug highlighting "Module" dans Coqide | herbelin |
| 2008-05-05 | Mise en place d'un algorithme d'inversion des contraintes de type lors | herbelin |
| 2008-04-17 | No compatibility notations for andb and co (this restore a correct Print output) | letouzey |
| 2008-04-17 | Prevent the apparition of &&& when printing a (if ... then ... else false) | letouzey |
| 2008-03-27 | - notations &&& and ||| equivalent to andb and orb, | letouzey |
| 2008-03-04 | migration from Set to Type of FSet/FMap + some dependencies... | letouzey |
| 2008-02-09 | Major revision of FSetAVL: more Function, including some non-structural ones | letouzey |
| 2007-10-05 | Added the automatic generation of the boolean equality if possible and the | vsiles |
| 2007-07-10 | Big reorganization of romega/ReflOmegaCore.v: towards a modular | letouzey |
| 2007-07-03 | Compatibilité des noms longs de Bool déplacés dans Datatypes | herbelin |
| 2007-04-28 | Déplacement des opérations sur bool dans l'état initial | herbelin |
| 2006-10-17 | Noms "canoniques" pour certaines des propriétés de xor. | herbelin |
| 2006-10-17 | Mise en forme des theories | notin |
| 2006-05-28 | - Déplacement des types paramétriques prod, sum, option, identity, | herbelin |
| 2006-04-28 | Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '... | notin |
| 2006-04-27 | 2-3 lemmes en plus pour que les Bvectors soient effectivement utilisables | letouzey |
| 2006-03-17 | Modification des propriétés (svn:executable) | notin |
| 2006-02-12 | Nettoyage Bool: | herbelin |
| 2006-01-31 | Ajout décidabilité | herbelin |
| 2005-07-15 | Fix sumbool_not hint (on behalf of cpaulin). | coq |
| 2005-03-16 | MAJ PolyList -> List | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-28 | Passage a un 'if-then-else' ou ne sont mentionnes que les membres droits qui ... | herbelin |
| 2004-02-12 | Ajout delimiteur pour bool_scope | herbelin |
| 2004-02-10 | backtrack implicit dans Bvector | marche |
| 2004-02-09 | patch Bvector: args implicites | marche |
| 2003-12-15 | modif existentielle (exists | --> exists ,) + bug d'affichage des pt fixes | barras |
| 2003-11-29 | Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ... | herbelin |
| 2003-11-01 | Finalement, niveau 0 pour l'argument du '-' uniare, pour eviter que les entie... | herbelin |
| 2003-10-22 | reorganisation des niveaux (ex: = est a 70) | barras |
