coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Nicer representation of tokens, more independant of camlp*	letouzey	2010-05-19
*	static (and shared) camlp4use instead of per-file declaration	letouzey	2010-05-19
*	Missing warning flush in a lexer message + update of CHANGES	herbelin	2010-05-12
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Improving error messages in the presence of utf-8 characters	herbelin	2010-03-30
*	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey	2010-03-04
*	Delete trailing whitespaces in all .{v,ml} files	glondu	2009-09-17
*	- Addition of "Reserved Infix" continued.	herbelin	2009-09-14
*	Miscellaneous practical commits:	herbelin	2009-06-29
*	Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans	aspiwack	2009-05-27
*	- Cleaning (unification of ML names, removal of obsolete code,	herbelin	2009-04-27
*	Fixing #1960 (xml bug with external on goal variable) and #1961	herbelin	2009-01-14
*	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin	2008-11-22
*	allowed patternidents starting with an '_'	amahboub	2008-10-31
*	The lexer is changer to break former PATTERNIDENT into two tokens.	amahboub	2008-10-30
*	Autour du parsing:	herbelin	2008-07-15
*	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin	2008-06-06
*	Diverses corrections	herbelin	2008-04-14
*	Bugs, nettoyage, et améliorations diverses	herbelin	2008-04-13
*	Minor fixes:	msozeau	2008-04-05
*	Ajout de caractères unicode reconnus apr le lexer	notin	2008-02-18
*	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack	2007-12-06
*	Creation of a new token PATTERNIDENT (?ident) for intro patterns, so	glondu	2007-09-28
*	Generalized CAMLP4USE for pp dependencies	corbinea	2007-07-16
*	Correction boucle du parseur en cas de caractÃère non unicode	herbelin	2006-11-20
*	Correction typo + ajout Arabic Supplement	herbelin	2006-07-05
*	Bug is_number	herbelin	2006-06-10
*	Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...	notin	2006-06-08
*	Oubli des symboles du Latin-1	herbelin	2006-05-11
*	Centralisation de la détection lettre/symbole par le lexeur dans les plages ...	herbelin	2006-05-10
*	Diverses corrections de l'afficheur et du traducteur pour s'assurer de	herbelin	2006-04-26
*	Ajout de nouvelles plages de symboles unicode; prise en compte des indices un...	herbelin	2006-01-15
*	Bug (code prévu pour iso-latin et non utf-8)	herbelin	2006-01-15
*	Code mort du traducteur	herbelin	2006-01-14
*	Commentaire mort	herbelin	2005-12-28
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	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