coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-25	Extract Constant marche avec les axiomes schémas de types	letouzey
2003-03-24	coqide: compact delete event-search start	monate
2003-03-24	pour faire marcher le control-k	letouzey
2003-03-24	Bugfix pour Linear.	corbinea
2003-03-22	maj	filliatr
2003-03-21	* empty log message *	barras
2003-03-21	correction affichage des modules	barras
2003-03-21	Fin de la résurrection de Linear.	corbinea
2003-03-18	Introducing Christine's Intuition1 and adding some invertible hyps.	corbinea
2003-03-18	Ajout translate	herbelin
2003-03-17	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr
2003-03-17	nettoyage dans translate	filliatr
2003-03-15	maj	filliatr
2003-03-15	petit oubli	letouzey
2003-03-14	coqide: maj preferences du wizzard	monate
2003-03-14	coqide: utf8.v	monate
2003-03-14	nettoyage dans ide/utils	filliatr
2003-03-14	* empty log message *	barras
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