coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-14	* empty log message *	barras
2003-03-14	reparations suite a la nouvelle syntaxe:	barras
2003-03-14	notations coqide	monate
2003-03-14	* empty log message *	monate
2003-03-14	coqide: maj commandes	monate
2003-03-13	Ajout réaffichage SubClass	herbelin
2003-03-13	code mort	herbelin
2003-03-13	maj	filliatr
2003-03-12	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-11	pour coq-ide	letouzey
2003-03-11	pour ocamlweb	letouzey
2003-03-10	coqide: maj des bindings	monate
2003-03-10	Remove a TODO in the translation of generic arguments:	bertot
2003-03-07	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-06	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-05	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-04	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-03	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-01	Added some tests to make more robust the tactique "Functional	courtieu
2003-02-28	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-27	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