coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2003-01-26	all tactics should be covered now: remains	bertot
2003-01-24	Inspect does not work for pcoq and there is no simple fix because inspect	bertot
2003-01-23	Make sure proof by pointing works.	bertot
2003-01-22	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot
2002-12-12	Ajout du vernac Proof with	gregoire
2002-12-03	la table PARAMETER n'existe plus (mergé dans la table CONSTANT)	letouzey
2002-12-03	Etape intermédiaire d'adaptation de la connexion à pcoq aux nouvelles	bertot
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-10-03	Previous version did compile but did not make it possible to actually run	bertot
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-06-05	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin