coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Abstraction vis à vis du type loc pour compatibilité ocaml 3.08	herbelin	2004-07-16
*	Nouvelle en-tête	herbelin	2004-07-16
*	bugs #667 and #783 (mimick_evar and loc_table on large files)	barras	2004-07-13
*	efficacite du lexeur	filliatr	2004-06-29
*	Ajout entree pour exporter les commentaires en mode -xml	herbelin	2004-03-26
*	reparation de qqs bugs du traducteur	barras	2004-01-26
*	Protection table des locations lors de Load (pour coqdoc)	herbelin	2004-01-22
*	Export information des references et location de notations pour coqdoc	herbelin	2004-01-21
*	make libraries, lexing of more utf8 symbols	marche	2004-01-14
*	modif lexer: ident peut commencer par _	barras	2003-11-25
*	changement nouvelle syntaxe (pt fixes)	barras	2003-10-10
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	Nouvelle mouture du traducteur v7->v8	herbelin	2003-08-11
*	Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...	herbelin	2003-05-21
*	extension des caracteres UTF 8 autorises dans les symboles	filliatr	2003-04-25
*	* empty log message *	barras	2003-03-21
*	* empty log message *	barras	2003-03-12
*	Correction test token normal	herbelin	2003-02-27
*	Le lexeur et Notation savent reconnaître si un unicode des blocs	herbelin	2003-02-27
*	Ajout du traducteur	desmettr	2003-02-05
*	Le '.' peut faire partie d'un token	herbelin	2002-12-03
*	Re-échappement des \ et " dans les token string	herbelin	2002-11-29
*	Essai de suppression du caractere d'echappement des string	herbelin	2002-11-28
*	Parsing	herbelin	2001-08-10
*	Fix de quelques bugs syntaxiques de Ltac	delahaye	2001-06-11
*	mise en place de Correctness; vieille syntaxe Extraction viree de g_vernac.ml4	filliatr	2001-04-05
*	entetes	filliatr	2001-03-15
*	backtrack sur le lexeur de la V6	filliatr	2001-01-30