coq - The formal proof system

Age	Commit message (Expand)	Author
2006-08-08	In the old version, recursive functions cannot be declared inside a section	bertot
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-07-28	MAJ de la biblio du manuel de référence	notin
2006-07-28	Reparation bug Show intros: les hypothèses introduites précédemment	courtieu
2006-07-27	Correction du bug #1170: les options synchronisées déclarées dans une sect...	notin
2006-07-26	Modification script sed pour compatibilité Windows	notin
2006-07-22	- Ajout d'un cast vm dans la syntaxe : x <: t	bgregoir
2006-07-20	Correction du bug #1116	jforest
2006-07-18	amelioration du comportement de induction (retour a la version V8.0)	jforest
2006-07-18	Correction bug #1192	notin
2006-07-18	Code cleaning in Function	jforest
2006-07-18	Code cleaning in Function	jforest
2006-07-17	Renommage sqtr_lem_1 (bug 1189)	notin
2006-07-17	MAJ	jforest
2006-07-13	bug correction when defining graph of fixpoints/definitions not generated by ...	jforest
2006-07-13	Retrait du -noassert qui etait present en natif.	letouzey
2006-07-13	Nombre magique pour la 8.1beta	herbelin
2006-07-12	Documentation machine virtuelle	herbelin
2006-07-12	Correction incohérence parsing de %delim dans les motifs	herbelin
2006-07-11	Ajout de quelques Arguments Scope pour simuler la récursivité du scope Rfun...	herbelin
2006-07-11	Ajout de quelques Arguments Scope pour simuler la récursivité du scope rome...	herbelin
2006-07-11	MAJ doc/refman	notin
2006-07-11	MAJ	herbelin
2006-07-11	Documentation de lazymatch et des extensions de idtac et fail	herbelin
2006-07-11	Utilisation du mot-clé lazymatch pour le match paresseux (à défaut d'avoir...	herbelin
2006-07-10	+functional inversion now takes the function to invert as an optional argument.	jforest
2006-07-09	Argument Scope de list déplacé dans List.v	herbelin
2006-07-07	Correction bug 1172 + correction en passant de la taille des paramètres de f...	herbelin
2006-07-07	Correction bug 1172 + correction en passant de la taille des paramètres de f...	herbelin
2006-07-07	MAJ	herbelin
2006-07-07	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin
2006-07-07	MAJ du manuel de référence (modules+fixpoints+pose proof)	notin
2006-07-06	Documentation Whelp	herbelin
2006-07-06	MAJ	herbelin
2006-07-06	Typo	herbelin
2006-07-06	Quelques Hint inutiles	herbelin
2006-07-06	Remplacement VernacDebug par VernacSetOption (suite)	herbelin
2006-07-06	Suite remplacement VernacDebug par VernacSetOption	herbelin
2006-07-05	MAJ	herbelin
2006-07-05	MAJ doc	herbelin
2006-07-05	Branchement de 'Debug On/Off' sur le mécanisme standard d'option et donc, re...	herbelin
2006-07-05	Ajout taclevel	herbelin
2006-07-05	Documentation Print Ltac qualid; documentation du debugger de ltac.	herbelin
2006-07-05	Branchement de 'Debug On/Off' sur le mécanisme standard d'option et donc, re...	herbelin
2006-07-05	Nettoyage code mort	herbelin
2006-07-05	Correction typo + ajout Arabic Supplement	herbelin
2006-07-05	Use typing informations while defining graphs for Function.	jforest
2006-07-05	Précisions sur l'Unicode reconnu; typo; ajout Example, Proposition, Corollary.	herbelin
2006-07-05	Mise à jour scopes prédéfinis et Tactic Notation pour tacticals	herbelin
2006-07-05	Documentation 'external'	herbelin