coq - The formal proof system

Age	Commit message (Expand)	Author
2012-08-11	Added support for option Local (at module level) in Tactic Notation.	herbelin
2012-04-13	Uniformisation in the documentation: remove the use of 'coinductive' in	aspiwack
2012-03-26	Slight change in the semantics of arguments scopes: scopes can no	herbelin
2011-12-06	Documentation for Arguments + notation scopes	gareuselesinge
2011-09-02	Bug 2589: Documentation patch of Hendrik Tews	pboutill
2011-04-28	Adding "Tactic Notation" in doc index.	herbelin
2010-07-22	Extension of the recursive notations mechanism	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2009-11-11	Added support for multiple where-clauses in Inductive and co (see wish #2163).	herbelin
2009-11-02	Correction du bug #2175	notin
2009-10-26	New cleaning phase of the Local/Global option management	herbelin
2009-10-25	Improved the treatment of Local/Global options (noneffective Local on	herbelin
2009-01-19	- Structuring Numbers and fixing Setoid in stdlib's doc.	herbelin
2009-01-13	- Standardized prefix use of "Local"/"Global" modifiers as decided in	herbelin
2008-10-11	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin
2008-07-01	Documentation Prop<=Set et Arguments Scope Global	herbelin
2008-06-08	- Extension de "generalize" en "generalize c as id at occs".	herbelin
2008-05-12	MAJ et bricoles diverses	herbelin
2008-05-05	Minor updates in the documentation of notations.	glondu
2008-03-30	Ajout d'abbréviations/notations paramétriques	herbelin
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-07-05	Mise à jour scopes prédéfinis et Tactic Notation pour tacticals	herbelin
2006-07-04	Doc Print Grammar pattern	herbelin
2006-02-24	Modification des propriétés des fichiers .tex (svn:executable)	notin,no-port-forwarding,no-agent-forwarding,no-X11-forwarding,no-pty
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin