aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2007-07-25Modifications de la construction de la documentation de la librairienotin
2007-07-18Cleanly refuse to operate in the presence of unsaved changes in emacslmamane
2007-07-16Do not try to clean the doc when no config/Makefilelmamane
2007-07-16Reorganise cleaning targetslmamane
2007-07-16A cleaner solution to "make deletes .ml4.d files -> infinite loop" problemlmamane
2007-07-13New bootstrapping, improved, Makefile systemcorbinea
2007-07-12(Port of r9984) Easier debugging:glondu
2007-07-12Forgot to commit new Makefilemsozeau
2007-07-09Petites corrections sur le Makefilenotin
2007-07-02Missing include path of ocaml .h when generating depsmsozeau
2007-06-29Added the directory theories/Numbers where axiomatizations and implementation...emakarov
2007-06-21Simplification de la construction du .depend:notin
2007-06-21Adding: Field instance for Q.roconnor
2007-06-14Correction du bug sur make dependnotin
2007-06-09Various Program fixes, multiple pattern matches, aliases. Fix bug in coercion...msozeau
2007-05-22Nouvelle stratégie d'unification des types des with-bindings dansherbelin
2007-05-21Added Z and Q implementations with int31.aspiwack
2007-05-11Processor integers + Print assumption (see coqdev mailing list for the aspiwack
2007-04-05On n'a plus besoin de compiler les anciens fichiers de functionnal induction ...jforest
2007-03-30Modifications dans Makefile: notin
2007-03-20ajout contrib/dp/Dp.vofilliatr
2007-03-14Bug dans Makefile (COQINSTALLPREFIX)notin
2007-02-27Correction d'un bug de l'install (win)notin
2007-02-07Fix mistake naming my Tactics file Tactics :)msozeau
2007-02-07Add tactics for induction on subterms.msozeau
2007-02-05complement du commit 9591bgregoir
2007-01-23Updated Makefile to include ConstructiveEpsilon.vemakarov
2007-01-17Move definition of VO_TOOLS_DEP before first use of it.lmamane
2007-01-17Reintroduce compatibility with old versions of GNU makelmamane
2007-01-12Suite au mail de Lionel a propos du Makefile: letouzey
2007-01-10 - Make .vo files depend on coqdoc if COQ_XML is set (bug #848)lmamane
2007-01-10Merge from Lionel Elie Mamane's private branch:lmamane
2007-01-08Subtac fixes, support for reasoning on wf defs.msozeau
2006-12-19Adaptation à Subversion 1.4notin
2006-12-11Changement dans le kernel : bgregoir
2006-12-08dpfilliatr
2006-11-29Fork of cases impl for subtac.msozeau
2006-11-27The $(BEST) binaries symlinks depend on existence of target, not newness.lmamane
2006-11-16Adaptation à FreeBSDnotin
2006-10-29Suite commit polymorphismeherbelin
2006-10-28Prise en compte dépendance de subtyping en typeops (polymorphisme de defs)herbelin
2006-10-27simplif de la partie ML de ring/fieldbarras
2006-10-27Ajout ListTacticsherbelin
2006-10-26Experimental merging of two functional graphs.courtieu
2006-10-25conflit de nom (Field_theory) modulo la cassebarras
2006-10-17Mise en forme des theoriesnotin
2006-10-11Ajout d'une option -annotate au configure+ changement du comportement par dé...notin
2006-09-28separation de RealFieldbarras
2006-09-28Makefile : COQLIB -> FULLCOQLIBcorbinea
2006-09-26petits pbs de dependancesbarras
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 20:22:19 +0000