aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.common
Commit message (Expand)AuthorAge
* Correction du bug #1745 (installation des fichiers .vo de Numbers)Gravatar notin2007-12-18
* migration of ide/utf8.v to theories/Unicode/Utf8.vGravatar letouzey2007-12-13
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* Added theorems; created NZPlusOrder from NTimesOrder.Gravatar emakarov2007-11-16
* Split NTimesOrder into properly NTimesOrder and NPlusOrder.Gravatar emakarov2007-11-15
* Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder...Gravatar emakarov2007-11-14
* setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def. Gravatar letouzey2007-11-08
* Forgot a backslash in Makefile.common. Added "(only parsing)" in BinNat.v.Gravatar emakarov2007-11-07
* Replaced BinNat with a new version that is based on theories/Numbers/Natural/...Gravatar emakarov2007-11-07
* Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of...Gravatar letouzey2007-11-06
* Adding Qround.v (and helper lemmas and hints)Gravatar roconnor2007-11-01
* Adding BigQ and proofsGravatar thery2007-10-25
* Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u...Gravatar emakarov2007-10-25
* Intallation des .cma/.cmxaGravatar notin2007-10-18
* Copie de PreOmega.vo dans le répertoire d'installation de CoqGravatar notin2007-10-18
* Typo dans Makefile.commonGravatar notin2007-10-18
* Major reorganisation of the extraction "backend".Gravatar letouzey2007-10-17
* Allow a few build system optimisations/corner-cuttingGravatar lmamane2007-10-11
* Added the automatic generation of the boolean equality if possible and theGravatar vsiles2007-10-05
* Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o...Gravatar emakarov2007-10-04
* Révision de theories/Logic concernant les axiomes de descriptions.Gravatar herbelin2007-10-03
* The following now compiles: abstract integers with plus, minus and times, bin...Gravatar emakarov2007-10-02
* Added the compilation of theories/Numbers to Makefile.common. The following t...Gravatar emakarov2007-10-01
* Découpage de Setoid.vGravatar notin2007-09-27
* Fix dependency bugs due to Program modules renamings.Gravatar msozeau2007-08-08
* Move Program tactics into a proper theories/ directory as they are general pu...Gravatar msozeau2007-08-07
* Build system: _really_ don't recurse into VCS metadata for file listsGravatar lmamane2007-08-07
* Build system:Gravatar lmamane2007-08-07
* Build system: BSD compatibility: do not use -printf action of findGravatar lmamane2007-08-01
* Add glob.dump to Makefile the recommended way and document theGravatar lmamane2007-07-25
* Makefile: slightly cleaner version of r10026Gravatar lmamane2007-07-18
* Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp...Gravatar lmamane2007-07-18
* Makefile: -MG doesn't (and can't) do what is necessaryGravatar lmamane2007-07-16
* A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemGravatar lmamane2007-07-16
* A emacs-specific comment to use makefile-mode on Makefile.*Gravatar letouzey2007-07-13
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13