coq - The formal proof system

Age	Commit message (Expand)	Author
2001-05-15	Modification pour passage p-automates	mohring
2001-04-11	documentation automatique de la bibliothèque standard	filliatr
2001-03-30	Introduction d'une preuve de False_rec	mohring
2001-03-15	entetes	filliatr
2000-12-21	Bug d'affichage à cause des << ... >>	herbelin
2000-11-21	separation calcul des implicites et declaration des constantes / inductifs / ...	filliatr
2000-11-20	Bug dans la règle de syntaxe de ex2	herbelin
2000-11-07	Modification de la table des tactic Definitions pour eviter l'ecriture	mohring
2000-11-07	Changement/extension dans les noms de parseurs de Grammar	herbelin
2000-10-18	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...	herbelin
2000-07-28	Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...	herbelin
2000-04-30	Bug affichage Error et Value	herbelin
2000-03-10	t -> $t dans regle grammaire EX	filliatr
2000-01-21	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr
2000-01-07	Renommage command en constr	herbelin
1999-12-16	erreurs de syntax :$	filliatr
1999-12-13	- méthode load sur les Hints	filliatr
1999-12-13	fichiers prelude Coq	filliatr