coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	notations coqide	monate	2003-03-14
*	* empty log message *	monate	2003-03-14
*	coqide: maj commandes	monate	2003-03-14
*	Ajout réaffichage SubClass	herbelin	2003-03-13
*	code mort	herbelin	2003-03-13
*	maj	filliatr	2003-03-13
*	petites erreurs	barras	2003-03-12
*	* empty log message *	barras	2003-03-12
*	* Ajout du traducteur nouvelle syntaxe *	barras	2003-03-12
*	Renommage indpar pour usage plus general	herbelin	2003-03-12
*	Ajout Locate Notation	herbelin	2003-03-12
*	coqide: .coqidepref en bin. Preferences en plus	monate	2003-03-12
*	pour coq-ide	letouzey	2003-03-11
*	pour ocamlweb	letouzey	2003-03-11
*	coqide: maj des bindings	monate	2003-03-10
*	Remove a TODO in the translation of generic arguments:	bertot	2003-03-10
*	coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...	monate	2003-03-07
*	Petites modifs de mes super-Makefiles ;)	coq	2003-03-07
*	maj	filliatr	2003-03-07
*	coqide: fenetre de cmmandes . undo correct	monate	2003-03-06
*	coqide: le undo	monate	2003-03-06
*	Make sure that identifiers are parsed as qualified identifier and that	bertot	2003-03-06
*	maj	filliatr	2003-03-06
*	coqide: ouvrir une seule fois un fichier	monate	2003-03-05
*	IDE: menu templates	filliatr	2003-03-05
*	CoqIde: Install.ide Revert bugfix.	monate	2003-03-05
*	maj	filliatr	2003-03-05
*	coqide: bugfix	monate	2003-03-04
*	install de coq.png	marche	2003-03-04
*	belle image de coq (en png en plus)	marche	2003-03-04
*	coqide: partage -debug avec coqtop	monate	2003-03-04
*	tous les fichiers passes a Coq IDE	filliatr	2003-03-04
*	IDE: maj	monate	2003-03-04
*	Bug délimiteur de scope en vieil affichage ast	herbelin	2003-03-04
*	MAJ	herbelin	2003-03-04
*	maj	filliatr	2003-03-04
*	CoqIDE: copy/paste	monate	2003-03-03
*	fichiers sur la ligne de commande passes a Coq IDE	filliatr	2003-03-03
*	Retour vieil afficheur	herbelin	2003-03-03
*	IDE:coloration	filliatr	2003-03-03
*	IDE: debug=false	filliatr	2003-03-03
*	coqide: preferences support and optimizations	monate	2003-03-03
*	Added some tests to make more robust the tactique "Functional	courtieu	2003-03-01
*	fixing a typo in the new Funinv.v test in test-suite/success	courtieu	2003-02-28
*	Recuperation des outputs de l'interpretation des commandes vernac et des erre...	desmettr	2003-02-28
*	maj	filliatr	2003-02-28
*	coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...	monate	2003-02-27
*	Interpretation des entiers dans les reels via les scopes	desmettr	2003-02-27
*	MAJ	herbelin	2003-02-27
*	Nouvelle syntaxe style 'Inductive color : Set := black, blue, white : color'...	herbelin	2003-02-27