coq - The formal proof system

Age	Commit message (Expand)	Author
2006-08-29	Compilation de Coq sous Windows	notin
2006-08-29	Changement de l'appel aux exécutables Caml (noms absolus)	notin
2006-07-28	Modifications dans les scripts de configuration (coqtop et coqide affichent m...	notin
2006-06-09	Ajout d'une option -with-geoproof à la configuration et à l'exécution	notin
2006-05-04	- intégration de la modification suggérée par L. Mamane: coqmktop passe ma...	notin
2006-04-29	suite de l'ajout des FSets/FMaps dans les theories standards	letouzey
2006-04-28	Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...	notin
2005-11-04	Compatibilité ocaml 3.09	herbelin
2004-10-20	COMMITED BYTECODE COMPILER	barras
2004-07-16	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-17	install de coqdoc	barras
2004-02-24	coqdoc	filliatr
2004-01-29	pour win32	coq
2003-05-19	configure et make install s'occupent de CoqIde tout seuls	filliatr
2002-11-26	Option pour compiler une version 'light' des réels	desmettr
2002-01-11	Pour déterminer sous Windows si ocaml est en version cygwin ou win32	herbelin
2002-01-10	MAJ ocaml 3.04 sur Windows	herbelin
2001-04-19	* empty log message *	courant
2001-03-15	entetes	filliatr
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-11-24	- coqc: utilise le meilleur coq possible	filliatr
2000-11-11	Prise en compte camlp4.opt dans la configuration et le Makefile	herbelin
2000-11-08	nouveau load path	filliatr
2000-06-27	Retrait du 'strip' en cas de profiling	herbelin
2000-05-03	compilation bytecode / native :	filliatr
1999-12-11	mise en place des outils	filliatr
1999-12-10	- erreurs Pretype	filliatr
1999-08-19	mise en place programmation literaire (generation de doc/coq.tex)	filliatr
1999-08-16	Initial revision	filliatr