| Commit message (Expand) | Author | Age |
... | |
* | Prove the decidability of arithmetical statements using the real numbers. | roconnor | 2008-01-24 |
* | Fix Makefile bug, using .v instead of .vo and document SetoidDec.v | msozeau | 2008-01-17 |
* | Bug in sqrt321 | thery | 2008-01-17 |
* | Amélioration de la génération des graphes de dépendances | notin | 2008-01-11 |
* | Add partial setoids in theories/Classes, add SetoidDec class for setoids with... | msozeau | 2008-01-04 |
* | Move Classes.Setoid to Classes.SetoidClass to avoid name clash. | msozeau | 2007-12-31 |
* | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau | 2007-12-31 |
* | Correction du bug #1745 (installation des fichiers .vo de Numbers) | notin | 2007-12-18 |
* | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey | 2007-12-13 |
* | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack | 2007-12-06 |
* | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
* | Added theorems; created NZPlusOrder from NTimesOrder. | emakarov | 2007-11-16 |
* | Split NTimesOrder into properly NTimesOrder and NPlusOrder. | emakarov | 2007-11-15 |
* | Update on Numbers; renamed ZOrder.v to ZLt to remove clash with ZArith/Zorder... | emakarov | 2007-11-14 |
* | setoid_ring/Ring_zdiv is moved to ZArith and renamed to ZOdiv_def. | letouzey | 2007-11-08 |
* | Forgot a backslash in Makefile.common. Added "(only parsing)" in BinNat.v. | emakarov | 2007-11-07 |
* | Replaced BinNat with a new version that is based on theories/Numbers/Natural/... | emakarov | 2007-11-07 |
* | Integration of theories/Ints/Z/* in ZArith and large cleanup and extension of... | letouzey | 2007-11-06 |
* | Adding Qround.v (and helper lemmas and hints) | roconnor | 2007-11-01 |
* | Adding BigQ and proofs | thery | 2007-10-25 |
* | Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u... | emakarov | 2007-10-25 |
* | Intallation des .cma/.cmxa | notin | 2007-10-18 |
* | Copie de PreOmega.vo dans le répertoire d'installation de Coq | notin | 2007-10-18 |
* | Typo dans Makefile.common | notin | 2007-10-18 |
* | Major reorganisation of the extraction "backend". | letouzey | 2007-10-17 |
* | Allow a few build system optimisations/corner-cutting | lmamane | 2007-10-11 |
* | Added the automatic generation of the boolean equality if possible and the | vsiles | 2007-10-05 |
* | Added the proof (in Numbers/Integers/TreeMod) that tree-like representation o... | emakarov | 2007-10-04 |
* | Révision de theories/Logic concernant les axiomes de descriptions. | herbelin | 2007-10-03 |
* | The following now compiles: abstract integers with plus, minus and times, bin... | emakarov | 2007-10-02 |
* | Added the compilation of theories/Numbers to Makefile.common. The following t... | emakarov | 2007-10-01 |
* | Découpage de Setoid.v | notin | 2007-09-27 |
* | Fix dependency bugs due to Program modules renamings. | msozeau | 2007-08-08 |
* | Move Program tactics into a proper theories/ directory as they are general pu... | msozeau | 2007-08-07 |
* | Build system: _really_ don't recurse into VCS metadata for file lists | lmamane | 2007-08-07 |
* | Build system: | lmamane | 2007-08-07 |
* | Build system: BSD compatibility: do not use -printf action of find | lmamane | 2007-08-01 |
* | Add glob.dump to Makefile the recommended way and document the | lmamane | 2007-07-25 |
* | Makefile: slightly cleaner version of r10026 | lmamane | 2007-07-18 |
* | Makefile: don't mention bin/coqtop.byte twice to make when BEST=byte, it comp... | lmamane | 2007-07-18 |
* | Makefile: -MG doesn't (and can't) do what is necessary | lmamane | 2007-07-16 |
* | A cleaner solution to "make deletes .ml4.d files -> infinite loop" problem | lmamane | 2007-07-16 |
* | A emacs-specific comment to use makefile-mode on Makefile.* | letouzey | 2007-07-13 |
* | New bootstrapping, improved, Makefile system | corbinea | 2007-07-13 |