coq - The formal proof system

Age	Commit message (Expand)	Author
2010-06-08	Added documentation: "Theorem id x1..xn : T" and "Set Automatic Introduction".	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2008-01-29	Added full documentation for mathematical mode (draft version)	corbinea
2008-01-05	Standardisation du format des références croisées vers Figure, Section, Ch...	herbelin
2007-08-20	Erreur de copier/coller dans la section Guarded	notin
2007-08-09	Modification de control_only_guard, qui utilise maintenant	notin
2007-04-26	Documentation de Existential et de Show Existential (fixes bug #1294)	notin
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2006-10-26	added doc for declarative language	corbinea
2006-07-07	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	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