coq - The formal proof system

Age	Commit message (Expand)	Author
2002-07-11	Error_in_file redondant et inapproprié	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2001-12-13	compat ocaml 3.03	filliatr
2001-12-10	- condition de garde (suite)	barras
2001-11-12	Suites modifs du noyau. Univ devient purement fonctionnel.	barras
2001-11-06	corrections mineures suite au commit de restructuration du noyau	barras
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-09-26	Le fichier .vo etait ecrit dans un mauvais repertoire si ce dernier etait tro...	herbelin
2001-09-18	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin
2001-04-09	nettoyage d'entrees de grammaires inutiles	courant
2001-03-15	entetes	filliatr
2000-12-20	Import module force l'ouverture du module même s'il était déjà ouvert afi...	herbelin
2000-11-20	Une capsule pour save_module_to dans Discharge	herbelin
2000-11-08	nouveau load path	filliatr
2000-09-10	Ajout d'un LetIn primitif.	herbelin
2000-05-04	Nettoyage de l'interface de Pfedit	herbelin
1999-12-03	bug make_strength repare	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-09-29	with_heavy_rollback deplace dans States	filliatr
1999-09-28	retablissement du toplevel	filliatr