coq - The formal proof system

Age	Commit message (Expand)	Author
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
2004-10-12	option -no-hash-consing pour supprimmer le hash-consing	filliatr
2004-09-03	Bug List.hd vs list_last	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-07-13	bug #780: compilation of several units in the same coqtop process	barras
2004-05-26	Affichage de la date de checkout même si pas dans le répertoire de compilation	herbelin
2004-03-28	Nom qualifié pour option -top	herbelin
2004-03-28	Ajout option -top pour changer le nom 'Top' du toplevel	herbelin
2004-03-03	ide: silent behavior better, save icon, -byte works	marche
2004-02-18	- fixed the Assert_failure error in kernel/modops	barras
2004-01-15	Ajout load-vernac-source-verbose	herbelin
2003-12-30	ameliorations coqide	coq
2003-11-29	Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7...	herbelin
2003-11-18	Utilisation de la date cvs dans l'en-tete si make.result existe	herbelin
2003-11-08	Suppression StronglyClassical, StronglyConstructive devient plus concretement...	herbelin
2003-11-01	Interdiction de nommer un object de nom commencant par Coq en dehors de la bi...	herbelin
2003-10-28	Options -strongly-constructive et -strongly-classical	herbelin
2003-10-11	translate_file etait abusivement positionne	herbelin
2003-10-08	Renommage no-strict en -strict-implicit; option -dont-load-proofs	herbelin
2003-09-24	Traduction aussi si -translate et -load-vernac-source	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	Fusion -translate et -ftranslate	herbelin
2003-08-11	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin
2003-05-14	coqide: .* on start/add \n on eof	monate
2003-04-29	Factorisation des produits de même type; parenthèses autour des x:=c et n:=...	herbelin
2003-04-09	Ajout option -v8 à coqtopnew pour permettre le changement de comportement de...	herbelin
2003-04-09	Prise en compte affichage coercions traducteur dans Constrextern	herbelin
2003-03-12	* empty log message *	barras
2003-03-04	tous les fichiers passes a Coq IDE	filliatr