coq - The formal proof system

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