| Age | Commit message (Expand) | Author |
|---|
| 2008-07-27 | Now, -browser option is effective (and compiles) | glondu |
| 2008-07-17 | - Suppression de Rstar/Newman peu utilisables comme biblio (encodage | herbelin |
| 2008-07-16 | Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re... | notin |
| 2008-07-07 | Micromega: doc + test-suite update | fbesson |
| 2008-06-25 | Some work on BigQ : | letouzey |
| 2008-06-25 | Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio... | notin |
| 2008-06-25 | Report de la révision #11175 de la branche v8.2 vers le trunk | notin |
| 2008-06-25 | Micromega : bugs fixes - renaming of tactics - documentation | fbesson |
| 2008-06-24 | Suppression de l'option -dump-glob et ajout d'une option -no-glob | notin |
| 2008-06-12 | Remplacement des 'cp' et 'mkdir' par 'install' | notin |
| 2008-06-06 | 2-3 petites modifs pour la compilation sous Windows... | notin |
| 2008-06-03 | Fix setoid_rewrite documentation examples. | msozeau |
| 2008-06-03 | In abstract parts of theories/Numbers, plus/times becomes add/mul, | letouzey |
| 2008-06-01 | Quelques amendements liées à la compilation des packages. | herbelin |
| 2008-06-01 | BigQ: starting to create and use an interface QSig | letouzey |
| 2008-06-01 | Enhance the BigN and BigZ infrastructure: | letouzey |
| 2008-05-29 | NBigN: proofs that BigN implements axioms of NAxiomsSig | letouzey |
| 2008-05-27 | Cyclic31 : proof of the spec of gcd31 | letouzey |
| 2008-05-22 | Proposition for a almost-bitsize-independent Int31.v (joint work with J. Voui... | letouzey |
| 2008-05-22 | QRewrite is now obsolete. It was containing manual ltac stuff | letouzey |
| 2008-05-22 | added coqchk to the main Makefile and a make variable VALIDATE to check the v... | barras |
| 2008-05-19 | Intégration de micromega ("omicron" pour fourier et sa variante sur Z, | herbelin |
| 2008-05-17 | ZModulo: Z viewed modulo 2^digits implements CyclicAxioms | letouzey |
| 2008-05-16 | Filename ZnZ (or Z_nZ in a later attempt) is neither pretty nor accurate | letouzey |
| 2008-05-16 | BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZ | letouzey |
| 2008-05-16 | ZTreeMod was meant to prove that BigZ correspond to the Integer Axioms. | letouzey |
| 2008-05-16 | More BigNum cleanup: | letouzey |
| 2008-05-15 | Oubli lors de la révision 10899 (Bool_nat.vo) | notin |
| 2008-05-09 | Still Ints-->Numbers transition: fix the previous commit about a typo | letouzey |
| 2008-05-08 | Still Ints-->Numbers transition: fix a typo preventing the compilation of BigQ | letouzey |
| 2008-05-07 | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey |
| 2008-04-28 | menage dans funind + deplaceemnt de recdef dans funind | jforest |
| 2008-04-27 | Suite r10857 | herbelin |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-21 | Addded the "Dump Tree" command. | cek |
| 2008-04-17 | tactique gappa | filliatr |
| 2008-04-17 | Add almost empty Classes.tex for documentation of type classes. | msozeau |
| 2008-04-16 | first-order --> firstorder (kills a warning about not being a valid id) | letouzey |
| 2008-04-08 | - A little cleanup in Classes/*. Separate standard morphisms on | msozeau |
| 2008-04-04 | A file that can be loaded when a migration from Set to Type is desired | letouzey |
| 2008-04-03 | New file FMapFullAVL containing the balancing proofs about FMapAVL: | letouzey |
| 2008-03-27 | Various fixes on typeclasses: | msozeau |
| 2008-03-20 | Installation des .vo nécessaire à BigQ | notin |
| 2008-03-19 | migration of the old IntMap library from StdLib to a user contrib (Cachan/Int... | letouzey |
| 2008-03-16 | Ajout cible programs comme synonyme de subtac | herbelin |
| 2008-03-16 | Reorganize Program and Classes theories. Requiring Setoid no longer sets | msozeau |
| 2008-03-15 | Reorganisation of FSetAVL (consequences of remarks by B. Gregoire) | letouzey |
| 2008-03-11 | tactique Gappa : mise en place | filliatr |
| 2008-03-08 | Fix bugs that were reopened due to the change of setoid | msozeau |
| 2008-03-06 | Plug the new setoid implemtation in, leaving the original one commented | msozeau |
