coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Ajout d'un LetIn primitif.	herbelin	2000-09-10
*	kernel/type_errors.ml	herbelin	2000-09-06
*	Passage à des contextes de vars et de rels pouvant contenir des déclarations	herbelin	2000-07-24
*	Extension de find_inductive aux co-inductifs et renommage en find_rectype	herbelin	2000-07-01
*	Essai de simplification compte tenu de l'info de location	herbelin	2000-06-29
*	Bugs/Messages d'erreurs	herbelin	2000-06-02
*	Mise en place d'un choix constr/typed_type en remplacement de certains Cast	herbelin	2000-06-01
*	Modification messages d'erreurs, possibilité de n'importe quel constr dans l...	herbelin	2000-05-26
*	Renommage hypothèses de nom redondant dans les environnements	herbelin	2000-05-22
*	Ajouts des causes d'erreur de Indrec	herbelin	2000-05-18
*	Nettoyage de l'interface de Pfedit	herbelin	2000-05-04
*	Déplacement du type reference dans Term	herbelin	2000-04-28
*	Abstraction du type typed_type (un pas vers les jugements 2 niveaux)	herbelin	2000-04-20
*	Force le renommage dans bad_ind_arguments	herbelin	2000-01-31
*	message erreur Scheme	herbelin	1999-12-15
*	Nouveaux types 'constructor' et 'inductive' dans Term;	herbelin	1999-12-15
*	- états fabriqués avec -silent	filliatr	1999-12-13
*	Suppression Rel de rawconstr et correction de bugs d'affichage	herbelin	1999-12-10
*	Ajout des messages d'erreurs de Cases	herbelin	1999-12-09
*	premier debugage	filliatr	1999-12-05
*	- coqmktop	filliatr	1999-12-03
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	- Typing -> Safe_typing	filliatr	1999-12-01
*	portage modules Evarconv et Evarutil	filliatr	1999-11-29
*	MAJ pour fusion avec pretyping	herbelin	1999-11-24
*	modules Indrec, Tacentries, Hiddentac	filliatr	1999-11-23
*	On se fait la main: plus de precision si ill-formed rec body	herbelin	1999-11-10
*	module Logic	filliatr	1999-10-14
*	affichage des erreurs de typage dans minicoq	filliatr	1999-09-10
*	module Himsg, comme un foncteur	filliatr	1999-09-08