coq - The formal proof system

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