aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* 2-3 petites modifs pour la compilation sous Windows...Gravatar notin2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* In abstract parts of theories/Numbers, plus/times becomes add/mul, Gravatar letouzey2008-06-03
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* BigQ: starting to create and use an interface QSigGravatar letouzey2008-06-01
* Enhance the BigN and BigZ infrastructure: Gravatar letouzey2008-06-01
* NBigN: proofs that BigN implements axioms of NAxiomsSigGravatar letouzey2008-05-29
* Cyclic31 : proof of the spec of gcd31Gravatar letouzey2008-05-27
* Proposition for a almost-bitsize-independent Int31.v (joint work with J. Voui...Gravatar letouzey2008-05-22
* QRewrite is now obsolete. It was containing manual ltac stuffGravatar letouzey2008-05-22
* added coqchk to the main Makefile and a make variable VALIDATE to check the v...Gravatar barras2008-05-22
* Intégration de micromega ("omicron" pour fourier et sa variante sur Z,Gravatar herbelin2008-05-19
* ZModulo: Z viewed modulo 2^digits implements CyclicAxiomsGravatar letouzey2008-05-17
* Filename ZnZ (or Z_nZ in a later attempt) is neither pretty nor accurateGravatar letouzey2008-05-16
* BigNum: more reorganization, mainly moves GenXYZ to DoubleXYZGravatar letouzey2008-05-16
* ZTreeMod was meant to prove that BigZ correspond to the Integer Axioms.Gravatar letouzey2008-05-16
* More BigNum cleanup: Gravatar letouzey2008-05-16
* Oubli lors de la révision 10899 (Bool_nat.vo)Gravatar notin2008-05-15
* Still Ints-->Numbers transition: fix the previous commit about a typoGravatar letouzey2008-05-09
* Still Ints-->Numbers transition: fix a typo preventing the compilation of BigQGravatar letouzey2008-05-08
* Integration of theories/Ints into theories/Numbers, part 1: moving filesGravatar letouzey2008-05-07
* menage dans funind + deplaceemnt de recdef dans funindGravatar jforest2008-04-28
* Suite r10857Gravatar herbelin2008-04-27
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* Addded the "Dump Tree" command.Gravatar cek2008-04-21
* tactique gappaGravatar filliatr2008-04-17
* Add almost empty Classes.tex for documentation of type classes.Gravatar msozeau2008-04-17
* first-order --> firstorder (kills a warning about not being a valid id)Gravatar letouzey2008-04-16
* - A little cleanup in Classes/*. Separate standard morphisms onGravatar msozeau2008-04-08
* A file that can be loaded when a migration from Set to Type is desiredGravatar letouzey2008-04-04
* New file FMapFullAVL containing the balancing proofs about FMapAVL:Gravatar letouzey2008-04-03
* Various fixes on typeclasses:Gravatar msozeau2008-03-27
* Installation des .vo nécessaire à BigQGravatar notin2008-03-20
* migration of the old IntMap library from StdLib to a user contrib (Cachan/Int...Gravatar letouzey2008-03-19
* Ajout cible programs comme synonyme de subtacGravatar herbelin2008-03-16
* Reorganize Program and Classes theories. Requiring Setoid no longer setsGravatar msozeau2008-03-16
* Reorganisation of FSetAVL (consequences of remarks by B. Gregoire)Gravatar letouzey2008-03-15
* tactique Gappa : mise en placeGravatar filliatr2008-03-11
* Fix bugs that were reopened due to the change of setoidGravatar msozeau2008-03-08
* Plug the new setoid implemtation in, leaving the original one commentedGravatar msozeau2008-03-06
* Proper implicit arguments handling for assumptionsGravatar msozeau2008-02-26
* Merge with lmamane's private branch:Gravatar lmamane2008-02-22
* Petits oublis dans Makefile.docGravatar notin2008-02-20
* Plongement de doc/Makefile dans la nouvelle architecutre des MakefileGravatar notin2008-02-14
* Move class_setoid to class_tactics.Gravatar msozeau2008-02-13
* New algorithm to resolve morphisms, after discussion with NicolasGravatar msozeau2008-02-06
* Reorganization of FSet+FMap : no more files specific to Weak Sets/MapsGravatar letouzey2008-02-04
* Add new files theories/Program/Basics.v and theories/Classes/Relations.vGravatar msozeau2008-02-03
* factorization part II (Properties + EqProperties), inclusion of FSetDecide (f...Gravatar letouzey2008-02-02
* Prove the decidability of arithmetical statements using the real numbers.Gravatar roconnor2008-01-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-23 17:04:39 +0000