coq - The formal proof system

Age	Commit message (Expand)	Author
2010-03-04	Makefile: the .ml of .ml4 are now produced explicitely (in binary ast form)	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-14	- Addition of "Reserved Infix" continued.	herbelin
2009-06-29	Miscellaneous practical commits:	herbelin
2009-05-27	Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans	aspiwack
2009-04-27	- Cleaning (unification of ML names, removal of obsolete code,	herbelin
2009-01-14	Fixing #1960 (xml bug with external on goal variable) and #1961	herbelin
2008-11-22	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin
2008-10-31	allowed patternidents starting with an '_'	amahboub
2008-10-30	The lexer is changer to break former PATTERNIDENT into two tokens.	amahboub
2008-07-15	Autour du parsing:	herbelin
2008-06-06	Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical	herbelin
2008-04-14	Diverses corrections	herbelin
2008-04-13	Bugs, nettoyage, et améliorations diverses	herbelin
2008-04-05	Minor fixes:	msozeau
2008-02-18	Ajout de caractères unicode reconnus apr le lexer	notin
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-09-28	Creation of a new token PATTERNIDENT (?ident) for intro patterns, so	glondu
2007-07-16	Generalized CAMLP4USE for pp dependencies	corbinea
2006-11-20	Correction boucle du parseur en cas de caractÃère non unicode	herbelin
2006-07-05	Correction typo + ajout Arabic Supplement	herbelin
2006-06-10	Bug is_number	herbelin
2006-06-08	Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...	notin
2006-05-11	Oubli des symboles du Latin-1	herbelin
2006-05-10	Centralisation de la détection lettre/symbole par le lexeur dans les plages ...	herbelin
2006-04-26	Diverses corrections de l'afficheur et du traducteur pour s'assurer de	herbelin
2006-01-15	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-14	Code mort du traducteur	herbelin
2005-12-28	Commentaire mort	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	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-07-13	bugs #667 and #783 (mimick_evar and loc_table on large files)	barras
2004-06-29	efficacite du lexeur	filliatr
2004-03-26	Ajout entree pour exporter les commentaires en mode -xml	herbelin
2004-01-26	reparation de qqs bugs du traducteur	barras
2004-01-22	Protection table des locations lors de Load (pour coqdoc)	herbelin
2004-01-21	Export information des references et location de notations pour coqdoc	herbelin
2004-01-14	make libraries, lexing of more utf8 symbols	marche
2003-11-25	modif lexer: ident peut commencer par _	barras
2003-10-10	changement nouvelle syntaxe (pt fixes)	barras
2003-09-22	traducteur: affiche les commentaires a l'interieur des commandes	barras
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-05-21	Fusion à l'essai de lmatch et lfun dans tacinterp; utilisation de noms pour ...	herbelin
2003-04-25	extension des caracteres UTF 8 autorises dans les symboles	filliatr
2003-03-21	* empty log message *	barras
2003-03-12	* empty log message *	barras
2003-02-27	Correction test token normal	herbelin