aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* Move FunctionalExtensionality to Logic/ (someone please check that theGravatar msozeau2008-12-16
* Correction du bug #1995Gravatar notin2008-11-12
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* - Merge modifs coq_makefile.ml4 de la 8.1 vers le trunk (commit 11429)Gravatar herbelin2008-10-18
* Do not install csdpcert in $(BINDIR)Gravatar glondu2008-09-07
* Install coqide manpageGravatar glondu2008-09-06
* More cleaningGravatar glondu2008-09-06
* Use $(COQTOPEXE) to refer to bin/coqtop in MakefilesGravatar glondu2008-09-06
* Build coqrun library using ocamlmklib...Gravatar glondu2008-09-05
* Initial implementation of a new command to define (dependent) functions byGravatar msozeau2008-09-02
* added Makefile target: validate (to recheck all .vo in a row)Gravatar barras2008-09-02
* Renaming parser -> coq-parserGravatar glondu2008-08-18
* Install csdpcert with librariesGravatar glondu2008-08-16
* micromega : bug fixes and optimisationsGravatar fbesson2008-08-07
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Now, -browser option is effective (and compiles)Gravatar glondu2008-07-27
* - Suppression de Rstar/Newman peu utilisables comme biblio (encodageGravatar herbelin2008-07-17
* Ajout de cibles pour le manuel de référence (refman-nodep, stdlib-nodep, re...Gravatar notin2008-07-16
* Micromega: doc + test-suite updateGravatar fbesson2008-07-07
* Some work on BigQ :Gravatar letouzey2008-06-25
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Report de la révision #11175 de la branche v8.2 vers le trunkGravatar notin2008-06-25
* Micromega : bugs fixes - renaming of tactics - documentationGravatar fbesson2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* Remplacement des 'cp' et 'mkdir' par 'install'Gravatar notin2008-06-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 12:59:08 +0000