coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-28	coqide: bug undo corrige	monate
2003-03-28	Réparation bug de l'unification. En effet, avant l'instanciation d'une evar	clrenard
2003-03-28	Fixed Relative names not,iff in Camlp4 quotation.	corbinea
2003-03-27	coqide: bugfix du C-C pendant Undo+paren_highlight	monate
2003-03-27	MAJ des mots-clés, Definition, Theorem, ...	herbelin
2003-03-27	MAJ des mots-clés, Definition, Theorem, ...	herbelin
2003-03-27	coqide: efficacite des buts etc...	monate
2003-03-27	Affinement nommage des productions	herbelin
2003-03-26	coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...	monate
2003-03-26	coqide: addloadpath corrige	monate
2003-03-26	ajout d'une fonction reset_mod	monate
2003-03-26	Ajout de Set Print Width	gregoire
2003-03-26	maj	filliatr
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