coq - The formal proof system

Age	Commit message (Expand)	Author
2003-04-09	Coqide : introduction des coprocessus. CoqIde est maintenant interruptible	monate
2003-04-08	on repasse aussi -thread a Caml	filliatr
2003-03-17	coqmktop: -ide fait ce qu'il faut (on peut maintenant construire des Coq IDE ...	filliatr
2003-03-12	* empty log message *	barras
2003-02-05	Ajout du traducteur	desmettr
2003-02-04	interface GTK2 experimentale	monate
2003-02-04	Contournement de ocamlmktop qui plante sous win32	herbelin
2002-12-10	Ajout options -v7 et -v8, et commandes V7only et V8only	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-11-05	Intégration des modifs de la branche mowgli :	herbelin
2002-09-17	echappements incorrects dans chaine	filliatr
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin
2002-02-14	option -dump-glob pour coqdoc	filliatr
2001-11-30	Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec	clrenard
2001-09-26	Protection contre erreurs Unix	herbelin
2001-09-18	Ajout d'une option et d'une fonction compile pour fabriquer les .vo	herbelin
2001-09-17	quotation des noms de fichiers pour eviter une mauvaise interpretation des \	barras
2001-09-09	Amélioration check_module_name	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-04-20	support option -R pour coqdep	filliatr
2001-04-19	* empty log message *	courant
2001-03-21	option -verbose a coqc; option -i supprimée	filliatr
2001-03-15	entetes	filliatr
2001-03-15	les options passées sont prioritaires sur les -I par défaut	filliatr
2001-03-06	modifs pour extraction; bug coqmktop	filliatr
2001-02-28	bug Reset et Sections	filliatr
2001-02-09	option -m (utilisation memoire)	filliatr
2001-02-01	- coqc : option -image	filliatr
2000-12-06	Suppresion de l'option -as, c'est maintenant -R qui devient l'option standard...	herbelin
2000-11-30	Changement de la syntaxe des options -I et -R	herbelin
2000-11-24	- coqc: utilise le meilleur coq possible	filliatr
2000-11-03	Deplacement d'options avec ou sans argts	mohring
2000-11-03	compilation des fichiers ml4 sans GNUseries	filliatr
2000-10-31	- simplification Makefile (compilation des fichiers .ml'; pas encore parfait	filliatr
2000-10-27	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr
2000-06-29	Capture erreur de create_process	herbelin
2000-05-08	contrib linkees en natif	filliatr
2000-05-05	Ajoute option -byte	herbelin
2000-05-03	compilation bytecode / native :	filliatr
2000-04-28	portage en ocaml / camlp4 3.00	filliatr
2000-04-21	Compilation pbs (coqc not finding coqtop, coqc not finding .vo when	courant
1999-12-12	modules et coqc	filliatr
1999-12-07	link Dhyp et Auto	filliatr
1999-12-03	compilation native	filliatr
1999-12-03	coqmktop	filliatr