aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* New bootstrapping, improved, Makefile systemGravatar corbinea2007-07-13
* (Port of r9984) Easier debugging:Gravatar glondu2007-07-12
* Forgot to commit new MakefileGravatar msozeau2007-07-12
* Petites corrections sur le MakefileGravatar notin2007-07-09
* Missing include path of ocaml .h when generating depsGravatar msozeau2007-07-02
* Added the directory theories/Numbers where axiomatizations and implementation...Gravatar emakarov2007-06-29
* Simplification de la construction du .depend:Gravatar notin2007-06-21
* Adding: Field instance for Q.Gravatar roconnor2007-06-21
* Correction du bug sur make dependGravatar notin2007-06-14
* Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...Gravatar msozeau2007-06-09
* Nouvelle stratégie d'unification des types des with-bindings dansGravatar herbelin2007-05-22
* Added Z and Q implementations with int31.Gravatar aspiwack2007-05-21
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* On n'a plus besoin de compiler les anciens fichiers de functionnal induction ...Gravatar jforest2007-04-05
* Modifications dans Makefile: Gravatar notin2007-03-30
* ajout contrib/dp/Dp.voGravatar filliatr2007-03-20
* Bug dans Makefile (COQINSTALLPREFIX)Gravatar notin2007-03-14
* Correction d'un bug de l'install (win)Gravatar notin2007-02-27
* Fix mistake naming my Tactics file Tactics :)Gravatar msozeau2007-02-07
* Add tactics for induction on subterms.Gravatar msozeau2007-02-07
* complement du commit 9591Gravatar bgregoir2007-02-05
* Updated Makefile to include ConstructiveEpsilon.vGravatar emakarov2007-01-23
* Move definition of VO_TOOLS_DEP before first use of it.Gravatar lmamane2007-01-17
* Reintroduce compatibility with old versions of GNU makeGravatar lmamane2007-01-17
* Suite au mail de Lionel a propos du Makefile: Gravatar letouzey2007-01-12
* - Make .vo files depend on coqdoc if COQ_XML is set (bug #848)Gravatar lmamane2007-01-10
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Subtac fixes, support for reasoning on wf defs.Gravatar msozeau2007-01-08
* Adaptation à Subversion 1.4Gravatar notin2006-12-19
* Changement dans le kernel : Gravatar bgregoir2006-12-11
* dpGravatar filliatr2006-12-08
* Fork of cases impl for subtac.Gravatar msozeau2006-11-29
* The $(BEST) binaries symlinks depend on existence of target, not newness.Gravatar lmamane2006-11-27
* Adaptation à FreeBSDGravatar notin2006-11-16
* Suite commit polymorphismeGravatar herbelin2006-10-29
* Prise en compte dépendance de subtyping en typeops (polymorphisme de defs)Gravatar herbelin2006-10-28
* simplif de la partie ML de ring/fieldGravatar barras2006-10-27
* Ajout ListTacticsGravatar herbelin2006-10-27
* Experimental merging of two functional graphs.Gravatar courtieu2006-10-26
* conflit de nom (Field_theory) modulo la casseGravatar barras2006-10-25
* Mise en forme des theoriesGravatar notin2006-10-17
* Ajout d'une option -annotate au configure+ changement du comportement par dé...Gravatar notin2006-10-11
* separation de RealFieldGravatar barras2006-09-28
* Makefile : COQLIB -> FULLCOQLIBGravatar corbinea2006-09-28
* petits pbs de dependancesGravatar barras2006-09-26
* Compilation newringGravatar notin2006-09-26
* commit de field + renommagesGravatar barras2006-09-26
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Correction du bug #1215Gravatar notin2006-09-18
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 13:10:18 +0000