coq - The formal proof system

Age	Commit message (Expand)	Author
2009-11-15	Document Generalizable Variables, and change syntax to	msozeau
2009-11-04	Fixed record syntax "{\|x=...; y=...\|}" so that it works with qualified names.	gmelquio
2009-10-29	Fixed some typos in the reference manual.	gmelquio
2009-01-27	- Fixed various Overfull in documentation.	herbelin
2009-01-18	Last changes in type class syntax:	msozeau
2009-01-13	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin
2008-06-29	Lissage de la gestion des chemins de chargement de fichiers :	herbelin
2008-04-26	Modif un peu gadget (??): on peut écrire "set (f n:=t)" pour	herbelin
2008-04-15	- Un peu de doc, préparation du CHANGES pour la release.	herbelin
2008-03-23	Fix examples in Program documentation and add comindexes for the various	msozeau
2008-02-09	Fix the clrewrite tactic, change Relations.v to work on relations in Prop	msozeau
2008-02-08	Documentation of CHANGES and refman doc for the implicit argument binder	msozeau
2008-02-06	- Documentation des nouvelles options d'implicites (Set Strongly Strict	herbelin
2008-02-01	Unification de TacLetRecIn et TacLetIn. En particulier, on peut	herbelin
2008-01-31	Finish let\| implementation and document it	msozeau
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-29	Ajout possibilité d'options à trois mots.	herbelin
2007-04-18	Fixed some typos.	glondu
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2007-04-12	Cleaned doc/common/title.tex file. Increased the space under headers	emakarov
2007-02-07	Meilleur anglais (cf 9619)	herbelin
2007-02-07	Relecture/nettoyage chapitre Gallina; déplacement section Function	herbelin
2006-10-28	Documentation de "Set Printing Universes", "Print Universes" (anciennement	herbelin
2006-07-07	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin
2006-07-04	Documentation or-pattern	herbelin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin