coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	factorisation et generalisation des clauses	barras	2003-11-13
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	simplification de solve_subgoal: n'utilise plus frontier	barras	2002-12-19
*	Ajout Simpl et Change sur des sous-termes	herbelin	2002-12-09
*	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
*	petits changements cosmetiques sur les tactiques	barras	2002-02-15
*	There remained traces of streams with the old syntax.	bertot	2001-12-18
*	Integrating the Ltac language and the Blast tool into the interface	bertot	2001-12-18