coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin	2005-11-08
*	Types inductifs parametriques	mohring	2005-11-02
*	improves shadows in the main window	narboux	2005-07-15
*	suppression de code commente	coq	2005-06-03
*	whelp + correction bug affichage de coqide	coq	2005-06-03
*	Achèvement du déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-20
*	Déplacement de fonctionnalités unix et browser de ide vers lib	herbelin	2005-05-19
*	Compatibilité ocamlweb pour cible doc	herbelin	2005-01-21
*	- Module/Declare Module syntax made more uniform:	sacerdot	2005-01-06
*	Complétion déclarations coqide	herbelin	2004-11-27
*	New command "Print Rewrite HindDb dbname".	sacerdot	2004-11-17
*	qq bugs du highlight de CoqIDE	filliatr	2004-10-28
*	2 bugs de reconnaissance	coq	2004-10-15
*	restructuration des printers: proofs passe avant parsing	barras	2004-09-17
*	New command "Add Relation ..." (for the new implementation of setoid_*).	sacerdot	2004-09-03
*	"Print Setoids" command added.	sacerdot	2004-07-23
*	Abstraction vis a vis du type loc pour ocaml 3.08	herbelin	2004-07-18
*	Nouvelle en-tête	herbelin	2004-07-16
*	added commands to ide	corbinea	2004-07-08
*	but autoamtics tactics saving	marche	2004-05-03
*	Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...	herbelin	2004-04-30
*	Ajout coding	herbelin	2004-04-13
*	Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...	herbelin	2004-04-13
*	warning dialog when save fails	marche	2004-04-06
*	mise a jour des menus	mohring	2004-03-16
*	ajout des Print Scopes dans liste commandes sans effet	mohring	2004-03-15
*	ide: silent behavior better, save icon, -byte works	marche	2004-03-03
*	Localisation des erreurs d'internalisation des notations de tactiques	herbelin	2004-02-12
*	bug fix find coqide	coq	2004-02-04
*	highlight	marche	2004-02-04
*	search window	coq	2004-02-04
*	pour ide sous windows	coq	2004-01-29
*	coqide utf8	marche	2004-01-20
*	Reflet dans l'arbre de syntaxe de la difference syntaxique entre 'Variables a...	herbelin	2004-01-13
*	meilleure presentation des commentaires du traducteur	barras	2004-01-02
*	ameliorations coqide	coq	2003-12-30
*	coqide menus on golas	marche	2003-12-16
*	plus de syntaxe v8	marche	2003-12-12
*	commandes de coqide	marche	2003-12-09
*	preferences	marche	2003-12-08
*	bug de preferencs/font"	marche	2003-12-08
*	pas de Goal pendant une preuve	filliatr	2003-12-08
*	power associe a droite	marche	2003-12-05
*	changement menu et toolbar	marche	2003-12-04
*	contrib jcf	marche	2003-12-01
*	commands renomme en queries, command goto a la place de forward to backwardt o	marche	2003-11-28
*	textes	marche	2003-11-25
*	about	marche	2003-11-24
*	tentative de completion ESC-/ a la emacs	letouzey	2003-11-24
*	.v8	herbelin	2003-11-18