coq - The formal proof system

Age	Commit message (Expand)	Author
2003-08-11	Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofs	herbelin
2003-05-23	fabrication de ide/utf8.vo	letouzey
2002-11-27	Ajout répertoire interp	herbelin
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-09-19	make install dans coq_makefile et repertoire associe user-contrib ajoute au l...	filliatr
2001-08-10	Parsing	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-04-19	* empty log message *	courant
2001-04-03	utilisation de Options.if_verbose	filliatr
2001-03-15	entetes	filliatr
2001-02-28	bug Reset et Sections	filliatr
2001-02-08	Suppression warning no .coqrc	herbelin
2001-02-07	Meilleure approche du conflit path/freeze/library_root en séquentialisant la...	herbelin
2001-02-07	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin
2000-12-27	Bug installation non locale	herbelin
2000-12-05	Mini-nettoyage noms longs	herbelin
2000-11-29	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin
2000-11-28	Remplacement des add_include par add_rec_include pour avoir le repertoire dan...	herbelin
2000-11-08	nouveau load path	filliatr
2000-09-10	Ajout d'un LetIn primitif.	herbelin
1999-12-13	- états fabriqués avec -silent	filliatr
1999-12-10	- erreurs Pretype	filliatr
1999-12-10	debug discharge et inductifs	filliatr
1999-12-06	initialisation load path (provisoire)	filliatr
1999-12-06	erreurs lexicales	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr