coq - The formal proof system

Age	Commit message (Expand)	Author
2004-01-13	Suppression de Rsyntax en v8	herbelin
2003-11-29	Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...	herbelin
2003-10-30	Parsing du moins unaire au niveau de l'application qui n'a pas besoin d'etre ...	herbelin
2003-10-22	reorganisation des niveaux (ex: = est a 70)	barras
2003-10-15	Affichage = au lieu de == en v7	herbelin
2003-09-19	Mise en place des V8Notation et V8Infix pour declarer des notations en v8 mem...	herbelin
2003-09-12	Bind et Delimit pour R	herbelin
2003-05-29	niveau 49 devient next	herbelin
2003-05-14	Suppression de 'R' dans la notation == entre	herbelin
2003-04-17	<> maintenant standard	herbelin
2003-04-12	Open Scope en Local	herbelin
2003-04-09	Suppression de l'étage "Import nat/Z/R_scope". "Open Scope" remplace "Import"	herbelin
2003-04-07	Espaces superflus	herbelin
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2003-01-15	Nouvelle interprétation des nombres réels	desmettr
2002-12-15	Ajout syntaxe '>'	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-10-23	Re-déplacement de sum/sumor/sumbool et prod au niveaux 4 et 3 pour	herbelin
2002-10-22	Redéplacement de + (sum) et * (prod) au niveau de + et * de l'arithmétique;...	herbelin
2002-10-13	Mise en place d'ensembles de notations symboliques pour nat, Z et R	herbelin
2002-06-06	Correction non reconnaissance des variables de section dans les afficheurs de...	herbelin
2002-05-29	Double Induction prend maintenant des noms d'hyppthèses	herbelin
2002-03-22	Bug d'affichage des réels dû à une collision entre les APPLINSIDETAIL de Z...	herbelin
2001-12-04	Backtrack sur le commit du 30.11.2001	delahaye
2001-11-30	* empty log message *	desmettr
2001-10-23	Modifs Tacinterp + debugger de tactiques + syntaxe de R + DiscrR	delahaye
2001-09-11	Un look un peu plus avenant aux productions des règles de grammaire	herbelin
2001-07-19	modifs de preuves (plus simples)	mayero
2001-06-04	Correction bug outside	mayero
2001-04-24	Ajout de Rseries et Rtrigo_fun	mayero
2001-04-20	Library doc adjustments (until page 140)	coq
2001-04-19	Mise de (*i autour CVS info	mohring
2001-04-19	Changement syntax pour Rinv	mayero
2001-03-15	entetes	filliatr
2001-02-08	modif de la syntax: assoc a droite pour Ring	mayero
2001-01-11	corr bug -	mayero
2000-12-22	* empty log message *	mayero
2000-12-15	pb niveau	mayero
2000-12-06	Prise en compte `?' dans les `` ``	herbelin
2000-12-05	Reparation d'un bug de pretty-print	delahaye
2000-11-23	Ajout d'une syntaxe pour Reals.	mayero