coq - The formal proof system

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