coq - The formal proof system

Age	Commit message (Expand)	Author
2007-04-17	Changed many refman/*.tex files. Put \label and \index commands that immediat...	emakarov
2007-02-22	doc: typo/english: "is left associating" -> "is left-associative".	lmamane
2007-02-22	Documentation of tactical "t1 \|\| t2": t2 is executed if t1 fails to	lmamane
2007-02-15	Réintroduction de l'entrée "integer" dans ltac (apparemment disparue lors	herbelin
2007-02-13	Réactivation du filtrage d'ordre 2 dans ltac qui avait cessé de	herbelin
2006-10-26	MAJ crédits, fresh; documentation apply in	herbelin
2006-07-11	Documentation de lazymatch et des extensions de idtac et fail	herbelin
2006-07-07	Documentation Declare Implicit Tactic, Print Canonical Projections, ... + lé...	herbelin
2006-07-05	Documentation Print Ltac qualid; documentation du debugger de ltac.	herbelin
2006-07-05	Documentation 'external'	herbelin
2006-05-05	Correction comportement clause _ du match goal	herbelin
2006-02-23	Nettoyage de l'archive doc et restructuration avant intégration à l'archive	herbelin