coq - The formal proof system

Age	Commit message (Expand)	Author
2005-05-21	maj	coq
2005-05-20	maj	coq
2005-05-20	maj	coq
2005-05-20	New command: "Print Ltac qualid" to print user defined tactics.	sacerdot
2005-05-20	Adoption du nom canonique global_of_constr pour éviter confusion avec type r...	herbelin
2005-05-20	Déplacement et export de locate_global (ex-locate_reference) de tacinterp ve...	herbelin
2005-05-20	Déplacement et export de locate_global (ex-locate_reference) de tacinterp ve...	herbelin
2005-05-20	Interface vers outil de recherche Whelp	herbelin
2005-05-20	Adoption du nom canonique global_of_constr pour éviter confusion avec type r...	herbelin
2005-05-20	Documentation	herbelin
2005-05-20	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-05-19	maj	coq
2005-05-19	maj	coq
2005-05-19	Documentation	herbelin
2005-05-19	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin
2005-05-19	Setoid_replace: improved error message when trying to replace a term in a	sacerdot
2005-05-19	A wish by Bas Spitters granted: a little more of unification up to	sacerdot
2005-05-19	added VernacBacktrack (new backtracking command dedicated to	coq
2005-05-18	maj	coq
2005-05-18	maj	coq
2005-05-18	Implemented autorewrite with ... in hyp [using ...].	sacerdot
2005-05-17	maj	coq
2005-05-17	maj	coq
2005-05-17	Affinements suite à extension Tactic Notation aux tacticielles	herbelin
2005-05-17	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin
2005-05-17	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin
2005-05-16	maj	coq
2005-05-15	maj	coq
2005-05-15	maj	coq
2005-05-15	Globalisation des Tactic Notation	herbelin
2005-05-15	Allow auto to have a parametric argument (wish #967)	herbelin
2005-05-15	Allow auto to have a parametric argument (wish #967)	herbelin
2005-05-14	maj	coq
2005-05-13	maj	coq
2005-05-12	maj	coq
2005-05-11	maj	coq
2005-05-10	maj	coq
2005-05-09	maj	coq
2005-05-09	possibilité d'écrire [foo\| ] au lieu de [foo\|idtac]	letouzey
2005-05-09	possibilité d'écrire [foo\| ] au lieu de [foo\|idtac]	letouzey
2005-05-08	maj	coq
2005-05-07	maj	coq
2005-05-06	maj	coq
2005-05-05	maj	coq
2005-05-05	Bug affichage graphe univers	herbelin
2005-05-05	Code v7 obsolete	herbelin
2005-05-05	MAJ commentaires et inversion du sens du graphe de contraintes pour extensibi...	herbelin
2005-05-04	maj	coq
2005-05-03	maj	coq
2005-05-03	Open Scope non Local malencontreux	herbelin