coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	all tactics should be covered now: remains	bertot	2003-01-26
*	Add translations for many tactics but a dozen are still remaining	bertot	2003-01-25
*	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot	2003-01-22
*	Add a few operators in the new version of xlate.ml and make sure	bertot	2003-01-21
*	Ajoute le bon traitement pour Ring, Locate, Comments	bertot	2002-12-09
*	Take notations into account: numbers and the CNotation operator.	bertot	2002-12-09
*	Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvelles	bertot	2002-12-03
*	correcting the treatment of many tactics that use quant_hyp in file xlate.ml	bertot	2002-10-06
*	Previous version did compile but did not make it possible to actually run	bertot	2002-10-03
*	Integrating the Ltac language and the Blast tool into the interface	bertot	2001-12-18
*	GROS COMMIT:	barras	2001-11-05
*	Prsing	herbelin	2001-08-10
*	Adding files for the production of textual explanations as used in pcoq.	bertot	2001-04-18
*	Files that handle the dialogue with the graphical user-interface pcoq.	bertot	2001-04-04