coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	hiding the meta_map in evar_defs	barras	2004-09-15
*	Nouvelle en-tête	herbelin	2004-07-16
*	code mort	herbelin	2003-10-10
*	Paramétrisation vis à vis de existential_key	herbelin	2003-09-06
*	simplification de solve_subgoal: n'utilise plus frontier	barras	2002-12-19
*	Réorganisation des tclTHEN (cf dev/changements.txt)	herbelin	2002-05-29
*	petit nettoyage de kernel/inductive	barras	2002-02-07
*	Suppression des stamps et donc des *_constraints	clrenard	2001-11-12
*	Suite de la suppression : enamed_declaration est remplace par evar_map.	clrenard	2001-11-06
*	Suppression des local_constraints, des ctxtty et du focus.	clrenard	2001-11-06
*	entetes	filliatr	2001-03-15
*	Ajout set_lc	herbelin	2000-12-20
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	Traitement du pretty-print des Redexp	delahaye	2000-11-21
*	correction Abstract (et make world passe!)	filliatr	2000-11-02
*	Renommage canonique :	herbelin	2000-10-18
*	Ajout du langage de tactiques	delahaye	2000-05-03
*	documentation	filliatr	2000-01-28
*	modifs pour premiere edition de liens	filliatr	1999-12-02
*	module Pfedit	filliatr	1999-12-01
*	- environment -> safe_environment	filliatr	1999-12-01
*	- documentation repertoire proofs/	filliatr	1999-10-20
*	modules Evar_refiner et Typing_ev	filliatr	1999-10-20
*	les variables existentielles contiennent maintenant un environnement (type	filliatr	1999-10-19
*	- déplacement (encore une fois !) des variables existentielles : elles sont	filliatr	1999-10-18
*	module Proof_trees	filliatr	1999-10-14
*	- re-introduction d'une evar_map dans unsafe_env	filliatr	1999-10-13
*	deplacement des var. ex. dans proofs	filliatr	1999-10-08
*	quelques trucs necessaires au toplevel	filliatr	1999-09-28