coq - The formal proof system

Age	Commit message (Expand)	Author
2003-04-29	Factorisation des produits de même type; parenthèses autour des x:=c et n:=...	herbelin
2003-04-29	Bug fermeture de stdout	herbelin
2003-04-09	Formattage affichage	herbelin
2003-04-09	Mécanisme plus simple et efficace pour traduire les implicites	herbelin
2003-04-09	Bugs synchronisation pour gestion traduction des implicites	herbelin
2003-04-09	Réorganisation de Impargs + mise en place d'une infrastructure	herbelin
2003-03-12	* empty log message *	barras
2003-02-28	Recuperation des outputs de l'interpretation des commandes vernac et des erre...	desmettr
2003-02-11	Undo dans Coq IDE	filliatr
2003-02-05	Ajout du traducteur	desmettr
2003-01-20	deplacement du test 'il reste des preuves en cours'	filliatr
2002-12-10	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-08-02	Modules dans COQ\!\!\!\!	coq
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