coq - The formal proof system

Age	Commit message (Expand)	Author
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