coq - The formal proof system

Age	Commit message (Expand)	Author
2007-05-22	Nouvelle stratégie d'unification des types des with-bindings dans	herbelin
2007-04-28	Ajout de la possibilité d'utiliser les evars dans apply_in et elim_in.	herbelin
2007-04-16	Suite unification apply et eapply (l'un et l'autre profite maintenant	herbelin
2007-04-15	Essai de partage de code entre apply et eapply	herbelin
2006-10-25	Correction d'une tentative incorrecte (révision 9266) de clarification	herbelin
2006-05-30	Généralisation de with_occurrence (ex occurrence) et de red_expr pour perme...	herbelin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-02-05	Debugging en syntaxe v8	herbelin
2006-01-28	Ajout option 'using lemmas' à auto/trivial/eauto	herbelin
2006-01-24	Suppression de la dépendance en Map.fold de ocaml dont la sémantique a	herbelin
2006-01-19	Export eassumption	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-12-21	Ajout printer pr_lconstr aux extensions de syntaxe pour les arguments de tact...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2004-12-07	* added subst_evaluable_reference	sacerdot
2004-09-08	unification encore...	barras
2004-09-07	deuxieme vague de modifs: evar_defs fonctionnel	barras
2004-09-03	premiere reorganisation de l\'unification	barras
2004-07-16	Nouvelle en-tête	herbelin
2003-12-01	Nouvelle tactique EExists	clrenard
2003-11-17	New tactics : econstructor, eleft, eright, esplit	clrenard
2003-11-08	Nettoyage	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2003-03-12	* empty log message *	barras
2003-01-19	Restructuration interpréteur de tactique: plus d'évaluation partielle à la...	herbelin
2002-12-09	Option pour rendre les vérifications du refiner optionnelle	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-06-05	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin
2002-05-29	Fichiers tactics/.ml4 remplacent les tactics/.v	herbelin