coq - The formal proof system

Age	Commit message (Expand)	Author
2009-01-14	Fixing/improving management of uniform prefix Local and Global	herbelin
2008-08-07	eviter redondance du message d'erreur (Error while reading / File)	barras
2008-06-27	(Partial) fix for bug #1892, adding a missing newline.	msozeau
2008-05-10	- Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des	herbelin
2008-05-05	More emacs-friendly error messages.	glondu
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-08-24	Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty...	herbelin
2006-11-24	Fixed the -emacs option which was always On.	courtieu
2006-11-17	The emacs-U option now does not output any char above 250.	courtieu
2006-10-20	Correction de la localisation des erreurs en interactif (numéro de	herbelin
2006-09-29	Added a new option -emacs-U changing emacs prompt delimiters by	courtieu
2006-04-27	Modification of emacs output: Pp.warning and al now output warning	courtieu
2005-04-20	Implementation of a new backtracking system, that allow to go back	coq
2005-01-14	Affichage numéro de l'état de la commande courante pour mode emacs	herbelin
2004-07-16	Abstraction vis à vis du type loc pour compatibilité ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2004-02-12	Localisation des erreurs d'internalisation des notations de tactiques	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-03-12	* empty log message *	barras
2003-01-16	-emacs: plus de prompt entre les lignes	filliatr
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-02-20	Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce	ddr
2002-02-06	affichage des messages d'erreur pour Stack_overflow, Out_of_memory, Break	barras
2001-12-13	compat ocaml 3.03	filliatr
2001-12-10	- condition de garde (suite)	barras
2001-04-25	ligne vide lors de l'affichage des messages d'erreur a toplevel entre	barras
2001-04-09	branchement extraction en standard (pas de Require)	filliatr
2001-03-15	entetes	filliatr
2001-02-13	Make sure the initial state used in a protected loop is the state chose exactly	bertot
2000-11-27	uniformisation messages d'erreur	filliatr
2000-05-25	Déplacement de save_thm and co de PFedit vers Command	herbelin
2000-05-04	Nettoyage de l'interface de Pfedit	herbelin
1999-12-05	premier debugage	filliatr
1999-12-03	- coqmktop	filliatr
1999-09-28	corrections pour ocamlweb	filliatr
1999-09-28	retablissement du toplevel	filliatr