aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
Commit message (Expand)AuthorAge
...
* 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
* Made pretyping a functor over a coercion implementation. Pretyping.Default us...Gravatar msozeau2006-03-22
* - Réintroduction d'un parseur de pattern (q_constr.ml4) à usage deGravatar herbelin2006-03-22
* Bug BYTEFLAGS pour compilation bin/parserGravatar herbelin2006-03-18
* ajout d'un debut de proprietes pour les FSetWeakGravatar letouzey2006-03-17
* Ajout de theories/FSets contenant la partie "light" de FSets et FMap:Gravatar letouzey2006-03-15
* r8637@thot: notin | 2006-03-14 16:00:49 +0100Gravatar notin2006-03-14
* Update of Subtac contrib. Add {wf n R} as an alternative to {struct n}.Gravatar msozeau2006-03-13
* r8623@thot: notin | 2006-03-08 12:40:57 +0100Gravatar notin2006-03-08