aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
* 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
* Fix wrong order for building library, add informative messages.Gravatar msozeau2006-09-04
* Subtac fixes, new way of handling obligations in progress.Gravatar msozeau2006-09-01
* Modification du configure pour paramétrer les exécutables liés à la compi...Gravatar notin2006-08-30
* Changement de l'appel aux exécutables Caml (noms absolus)Gravatar notin2006-08-29
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* Modification script sed pour compatibilité WindowsGravatar notin2006-07-26
* - Ajout d'un cast vm dans la syntaxe : x <: t Gravatar bgregoir2006-07-22
* Retrait du -noassert qui etait present en natif. Gravatar letouzey2006-07-13
* nouvel algorithme pour Zgcd (plus rapide) + un QcompareGravatar letouzey2006-06-25
* Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableT...Gravatar herbelin2006-06-09
* MAJ Makefile dependGravatar herbelin2006-06-08
* Ajout exists! et restructuration/extension des fichiers sur laGravatar herbelin2006-06-04
* ajout de QArith dans les theories standardsGravatar letouzey2006-05-31
* The "clean integration of subtac" patch.Gravatar msozeau2006-05-29
* Modification de la compilation de coqc et coqmktop pour éviter le problème ...Gravatar notin2006-05-26
* un debut de propriétés concernant FMapGravatar letouzey2006-05-22
* Dépendances pour List.vGravatar notin2006-05-18
* etoffage des notions de permutations (a la fois List.Permutation et Permutati...Gravatar letouzey2006-05-16
* ajout de theories/FSets/DecidableTypeEx.vGravatar letouzey2006-05-15
* Duplication du fichier FSetProperties pour les ensembles Weak. Gravatar letouzey2006-05-11
* - intégration de la modification suggérée par L. Mamane: coqmktop passe ma...Gravatar notin2006-05-04
* Cleanning and factorizing code in funind. Spliting new_arg_principles into to...Gravatar jforest2006-05-03
* suite de l'ajout des FSets/FMaps dans les theories standardsGravatar letouzey2006-04-29
* Suppression de l'entrée devdoc dans le Makefile principal et modification en...Gravatar notin2006-04-27
* Un gros coup de lifting pour IntMap: Gravatar letouzey2006-04-25
* - Documentation of the Program tactics.Gravatar msozeau2006-04-07
* versement de MoreList.v dans List.v, reorganisation, quelques nouveaux lemmesGravatar letouzey2006-04-06
* reparation des conflits Intmap/FSet FSets/FSet et Datatypes.Lt,Eq,Gt / Ordere...Gravatar letouzey2006-03-28
* Correction d'un bug sur 'make doc' et modification des propriétés dans doc/Gravatar notin2006-03-23