coq - The formal proof system

Age	Commit message (Expand)	Author
2009-10-16	note for later : when the tag table is shared, never, ever create two	vgross
2009-10-04	Changed the way to support compatibility with previous versions.	herbelin
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-08-02	Improved parameterization of Coq:	herbelin
2009-07-01	Support for binding Coq root read-only in -R option	herbelin
2009-04-08	Some dead code removal + cleanups	letouzey
2009-03-14	Better mechanism for loading initial plugins	letouzey
2009-02-11	Report des revisions #11826, #11828 et #11829 de v8.2 vers trunk	notin
2008-12-26	- Suppression date dans configure du trunk	herbelin
2008-12-24	- coq_makefile: target install now respects the original tree structure	herbelin
2008-12-19	Nettoyage des variables Coq et amélioration de coqmktop. Les	notin
2008-12-17	Sequel of 11697: repair coqtop.byte when contribs are statically linked (+min...	letouzey
2008-12-16	Take advantage of natdynlink when available: almost all contribs become loada...	letouzey
2008-11-22	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin
2008-11-13	Tentative d'amélioration de la robustesse des Makefile générés par	notin
2008-10-28	Native "Declare ML Module" when possible	glondu
2008-07-21	Suite commit 11236	notin
2008-07-18	Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...	notin
2008-06-29	Lissage de la gestion des chemins de chargement de fichiers :	herbelin
2008-06-25	Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...	notin
2008-06-24	Suppression de l'option -dump-glob et ajout d'une option -no-glob	notin
2008-06-06	2-3 petites modifs pour la compilation sous Windows...	notin
2008-05-12	- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to	msozeau
2008-05-10	Correction bug #1842 + correction bug initialisation introduit dans	herbelin
2008-05-10	- Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des	herbelin
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-09-28	On Linux, we read /proc/self/exe to get the executable's path instead	glondu
2006-12-08	Suite ajout option -output-context	herbelin
2006-12-08	Ajout d'une option -output-context qui affiche le contexte en CCI pur à la	herbelin
2006-09-29	Added a new option -emacs-U changing emacs prompt delimiters by	courtieu
2006-09-25	Corrections mineures	notin
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-06-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-06-08	Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...	notin
2006-06-07	Réparation coqtop.ml	notin
2006-06-07	Changement de l'option -where: on vérifie si la variable d'environnement COQ...	notin
2006-04-27	Modification of emacs output: Pp.warning and al now output warning	courtieu
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-24	Changement de stratégie vis à vis du positionnement du module Top en mode b...	herbelin
2005-12-22	option '-top dir' now works also in batch mode (2ème)	herbelin
2005-12-22	option '-top dir' now works also in batch mode; it is even necessary to ensur...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-23	bug #909: Top n'est cree que si le contexte est vide	barras
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2005-02-06	Nettoyage et documentation de Library	herbelin
2004-11-22	compatibility with POWERPC	gregoire
2004-11-12	Changement dans les boxed values .	gregoire
2004-10-20	COMMITED BYTECODE COMPILER	barras