coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin	2003-04-07
*	BEST redondant	herbelin	2003-04-07
*	remplace == par = dans la tactique field pour que le debugger marche a nouvea...	narboux	2003-04-01
*	Mise en place de 'Implicit Variable' (variante du 'Reserve' de mizar)	herbelin	2003-03-29
*	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr	2003-03-17
*	nettoyage dans translate	filliatr	2003-03-17
*	coqide: maj preferences du wizzard	monate	2003-03-14
*	nettoyage dans ide/utils	filliatr	2003-03-14
*	* empty log message *	barras	2003-03-14
*	reparations suite a la nouvelle syntaxe:	barras	2003-03-14
*	petites erreurs	barras	2003-03-12
*	* Ajout du traducteur nouvelle syntaxe *	barras	2003-03-12
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06
*	coqide: le undo	monate	2003-03-06
*	IDE: menu templates	filliatr	2003-03-05
*	install de coq.png	marche	2003-03-04
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	1.342 par rapport a 1.340 contourne un bug '-pp camlp4o' (version 1.341 corro...	herbelin	2003-02-27
*	Contournement bug '-pp camlp4o'	herbelin	2003-02-27
*	The contribution of Pierre Courtieu on generating specialized induction schemes	bertot	2003-02-27
*	Bringing Linear back to life (Still somewhat buggy).	corbinea	2003-02-24
*	aide contextuelle / menus compilation + print + export	filliatr	2003-02-24
*	ide changes	monate	2003-02-24
*	CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)	filliatr	2003-02-21
*	Debugger plus informatif	delahaye	2003-02-13
*	Ajout du traducteur	desmettr	2003-02-05
*	interface GTK2 experimentale	monate	2003-02-04
*	make check utilise toujours le Coq local	filliatr	2003-02-03
*	Adds a possibility to construct a term as if it had been parsed through	bertot	2003-01-30
*	Make sure the parser is compiled in native mode.	bertot	2003-01-30
*	Ajoute les directives pour créer aussi bin/coq-interface.opt	bertot	2003-01-30
*	pas de Xml.vo	filliatr	2003-01-30
*	on cree toujours le sous-repertoire tactics/	filliatr	2003-01-24
*	Ajout de LinearIntuition; Ajout de New(Tauto\|Intuition\|LinearIntuition).	corbinea	2003-01-23
*	removes all references to ctast.ml the Makefile has been updated accordingly.	bertot	2003-01-22
*	MAJ pour renommage Rcomplet	desmettr	2003-01-22
*	Binome.v -> Binomial.v	desmettr	2003-01-21
*	renommage de TAF.v en MVT.v	desmettr	2003-01-16
*	Renommage de RealsB en Rbase	desmettr	2003-01-16
*	bit vectors	filliatr	2003-01-06
*	setoids dans noreal	letouzey	2002-12-09
*	MAJ	herbelin	2002-11-29
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	Réorganisation de la librairie des réels	desmettr	2002-11-27
*	Options make coqlight/ make install-coqlight pour les impatients...	desmettr	2002-11-26
*	Option pour compiler une version 'light' des réels	desmettr	2002-11-26
*	MAJ	herbelin	2002-11-26
*	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin	2002-11-24
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14