coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...	herbelin	2007-02-24
*	Added a new option -emacs-U changing emacs prompt delimiters by	courtieu	2006-09-29
*	Standardisation nom option_app en option_map	herbelin	2006-04-27
*	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin	2005-12-26
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Changement des named_context	gregoire	2005-12-02
*	New environment variable COQREMOTEBROWSER to set the command used by Coq	sacerdot	2005-05-26
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Code redondant (cf Printer)	herbelin	2005-01-14
*	Changement dans les boxed values .	gregoire	2004-11-12
*	COMMITED BYTECODE COMPILER	barras	2004-10-20
*	option -no-hash-consing pour supprimmer le hash-consing	filliatr	2004-10-12
*	Nouvelle en-tête	herbelin	2004-07-16
*	Ajout option raw_print (Set Printing All) pour desactiver toute fonctionnalit...	herbelin	2004-01-29
*	Passage à la V8 par défaut	herbelin	2003-09-22
*	Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...	herbelin	2003-09-12
*	Positionnement precoce de l'option -v7	herbelin	2003-08-14
*	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin	2003-08-11
*	Ajout option translate_syntax pour caractériser l'interprétation du traduct...	herbelin	2003-06-12
*	Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)	herbelin	2003-04-29
*	Déplacement with_option dans Options	herbelin	2003-04-01
*	* empty log message *	barras	2003-03-12
*	Ajout du traducteur	desmettr	2003-02-05
*	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin	2002-12-10
*	Nouvelle option -xml à coqtop pour compiler un développement en	herbelin	2002-11-05
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Le chargement des coercions est nécessaire même si le module n'est pas ouvert	herbelin	2002-01-18
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	option -quality	filliatr	2001-05-28
*	* empty log message *	courant	2001-04-19
*	utilisation de Options.if_verbose	filliatr	2001-04-03
*	entetes	filliatr	2001-03-15
*	Mise en place d'un système optionnel de discharge immédiat; prise en compte...	herbelin	2001-02-14
*	modules et coqc	filliatr	1999-12-12
*	Discharge (encore bugge)	filliatr	1999-12-09
*	poursuite de Vernacentries	filliatr	1999-12-01
*	module Classops; ajout de fonctions dans Declare en consequence	filliatr	1999-11-26
*	ajouts divers pour module Printer	filliatr	1999-11-26
*	ajout de divers fonctions dans lib/	filliatr	1999-09-28