index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
Makefile
Commit message (
Expand
)
Author
Age
*
Add tactics for induction on subterms.
msozeau
2007-02-07
*
complement du commit 9591
bgregoir
2007-02-05
*
Updated Makefile to include ConstructiveEpsilon.v
emakarov
2007-01-23
*
Move definition of VO_TOOLS_DEP before first use of it.
lmamane
2007-01-17
*
Reintroduce compatibility with old versions of GNU make
lmamane
2007-01-17
*
Suite au mail de Lionel a propos du Makefile:
letouzey
2007-01-12
*
- Make .vo files depend on coqdoc if COQ_XML is set (bug #848)
lmamane
2007-01-10
*
Merge from Lionel Elie Mamane's private branch:
lmamane
2007-01-10
*
Subtac fixes, support for reasoning on wf defs.
msozeau
2007-01-08
*
Adaptation à Subversion 1.4
notin
2006-12-19
*
Changement dans le kernel :
bgregoir
2006-12-11
*
dp
filliatr
2006-12-08
*
Fork of cases impl for subtac.
msozeau
2006-11-29
*
The $(BEST) binaries symlinks depend on existence of target, not newness.
lmamane
2006-11-27
*
Adaptation à FreeBSD
notin
2006-11-16
*
Suite commit polymorphisme
herbelin
2006-10-29
*
Prise en compte dépendance de subtyping en typeops (polymorphisme de defs)
herbelin
2006-10-28
*
simplif de la partie ML de ring/field
barras
2006-10-27
*
Ajout ListTactics
herbelin
2006-10-27
*
Experimental merging of two functional graphs.
courtieu
2006-10-26
*
conflit de nom (Field_theory) modulo la casse
barras
2006-10-25
*
Mise en forme des theories
notin
2006-10-17
*
Ajout d'une option -annotate au configure+ changement du comportement par dé...
notin
2006-10-11
*
separation de RealField
barras
2006-09-28
*
Makefile : COQLIB -> FULLCOQLIB
corbinea
2006-09-28
*
petits pbs de dependances
barras
2006-09-26
*
Compilation newring
notin
2006-09-26
*
commit de field + renommages
barras
2006-09-26
*
mise a jour du nouveau ring et ajout du nouveau field, avant renommages
barras
2006-09-26
*
Declarative Proof Language: main commit
corbinea
2006-09-20
*
Correction du bug #1215
notin
2006-09-18
*
Fix wrong order for building library, add informative messages.
msozeau
2006-09-04
*
Subtac fixes, new way of handling obligations in progress.
msozeau
2006-09-01
*
Modification du configure pour paramétrer les exécutables liés à la compi...
notin
2006-08-30
*
Changement de l'appel aux exécutables Caml (noms absolus)
notin
2006-08-29
*
Modifications dans les scripts de configuration (coqtop et coqide affichent m...
notin
2006-07-28
*
Modification script sed pour compatibilité Windows
notin
2006-07-26
*
- Ajout d'un cast vm dans la syntaxe : x <: t
bgregoir
2006-07-22
*
Retrait du -noassert qui etait present en natif.
letouzey
2006-07-13
*
nouvel algorithme pour Zgcd (plus rapide) + un Qcompare
letouzey
2006-06-25
*
Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...
herbelin
2006-06-09
*
MAJ Makefile depend
herbelin
2006-06-08
*
Ajout exists! et restructuration/extension des fichiers sur la
herbelin
2006-06-04
*
ajout de QArith dans les theories standards
letouzey
2006-05-31
*
The "clean integration of subtac" patch.
msozeau
2006-05-29
*
Modification de la compilation de coqc et coqmktop pour éviter le problème ...
notin
2006-05-26
*
un debut de propriétés concernant FMap
letouzey
2006-05-22
*
Dépendances pour List.v
notin
2006-05-18
*
etoffage des notions de permutations (a la fois List.Permutation et Permutati...
letouzey
2006-05-16
*
ajout de theories/FSets/DecidableTypeEx.v
letouzey
2006-05-15
[next]