coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey	2009-03-20
*	Extension to the general sequence operator (tactical). Now in addition to ...	emakarov	2007-04-02
*	mise a jour du nouveau ring et ajout du nouveau field, avant renommages	barras	2006-09-26
*	Changement du type d'argument 'TacticArgType X' en un type	herbelin	2006-06-08
*	Ajout niveau utilisateur de la tacticielle 'complete'; messages de idtac et f...	herbelin	2006-01-21
*	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin	2005-12-26
*	Achèvement suppression traducteur dans contrib/interface	herbelin	2005-12-26
*	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin	2005-05-17
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	Bug TacId	herbelin	2003-11-12
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29