aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
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
2006-09-26Compilation newringnotin
2006-09-26commit de field + renommagesbarras
2006-09-26mise a jour du nouveau ring et ajout du nouveau field, avant renommagesbarras
2006-09-20Declarative Proof Language: main commitcorbinea
2006-09-18Correction du bug #1215notin
2006-09-04Fix wrong order for building library, add informative messages.msozeau
2006-09-01Subtac fixes, new way of handling obligations in progress.msozeau
2006-08-30Modification du configure pour paramétrer les exécutables liés à la compi...notin
2006-08-29Changement de l'appel aux exécutables Caml (noms absolus)notin
2006-07-28Modifications dans les scripts de configuration (coqtop et coqide affichent m...notin
2006-07-26Modification script sed pour compatibilité Windowsnotin
2006-07-22- Ajout d'un cast vm dans la syntaxe : x <: t bgregoir
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 20:49:09 +0000