coq - The formal proof system

Age	Commit message (Expand)	Author
2009-11-02	list, length, app are migrated from List to Datatypes	letouzey
2009-10-26	Local/Global revision 12418 continued	herbelin
2009-10-26	New cleaning phase of the Local/Global option management	herbelin
2009-10-25	Improved the treatment of Local/Global options (noneffective Local on	herbelin
2009-10-21	This big commit addresses two problems:	soubiran
2009-09-17	Remove useless Liboject.export_function field	glondu
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-09-11	Generalized the possibility to refer to a global name by a notation	herbelin
2009-08-13	Death of "survive_module" and "survive_section" (the first one was	herbelin
2009-08-06	- Cleaning phase of the interfaces of libnames.ml and nametab.ml	herbelin
2009-04-30	Fix a small notation/scope bug:	vsiles
2009-02-06	pushed evar reduction in kernel	barras
2008-10-22	Affichage des notations récursives:	herbelin
2008-10-11	Backporting 11445 from 8.2 to trunk (negative conditions in	herbelin
2008-07-22	Correct implementation of discharging of implicit arguments and add new	msozeau
2008-07-17	Uniformisation du format des messages d'erreur (commencent par une	herbelin
2008-07-01	Documentation Prop<=Set et Arguments Scope Global	herbelin
2008-05-07	Mises à jour test-suite + amélioration message d'erreur pour non-bug #1757	herbelin
2008-04-02	Add the ability to specify the implicit status of section variables and	msozeau
2007-12-06	Plus de combinateurs sont passés de Util à Option. Le module Options	aspiwack
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-05-10	Prise en compte réversibilité des notations de la forme "Notation Nil := @n...	herbelin
2007-04-28	Ajout de la possibilité de faire référence dans certains cas à un nom	herbelin
2007-02-24	Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...	herbelin
2007-01-10	Suite commit restructuration discharge (application du type de	herbelin
2007-01-10	Nouvelle approche pour le discharge modulaire	herbelin
2006-10-23	Add a flush for a warning.	courtieu
2006-10-06	Annulation de l'essai de changement de sémantique du %scope (révision 9208).	herbelin
2006-10-05	Essai de changement de sémantique du %scope :	herbelin
2006-09-23	Correction bug #1179 (result of Notation.decompose_notation_key in wrong order	herbelin
2006-04-27	Standardisation nom option_app en option_map	herbelin
2006-02-04	Utilisation du section_path pour le parsing des notations primitives,	herbelin
2006-01-31	Adaptation message d'erreur au cas des string	herbelin
2006-01-24	Suppression de la dépendance en Map.fold de ocaml dont la sémantique a	herbelin
2006-01-08	Automatisation de l'utilisation de token primitifs dans les motifs de filtrag...	herbelin
2005-12-30	Ajout d'un mécanisme d'interprétation et d'affichage pour les littéraux de...	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2005-12-23	Simplifification de vernac_expr li l'abandon du traducteur	herbelin
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-02-18	Moving centralised discharge into dispatched discharge_function; required to ...	herbelin
2005-01-03	HUGE COMMIT	sacerdot
2005-01-02	Renommage symbols.ml{,i} en notation.ml{,i} pour permettre le chargement de p...	herbelin