coq - The formal proof system

Age	Commit message (Expand)	Author
2003-03-12	* empty log message *	barras
2003-02-13	Chargement dynamique de .cma	delahaye
2002-08-02	Modules dans COQ\!\!\!\!	coq
2002-03-17	Meilleure gestion de la reduction dans Field	delahaye
2001-12-13	compat ocaml 3.03	filliatr
2001-11-05	Oops	barras
2001-11-05	GROS COMMIT:	barras
2001-10-17	Abstraction de l'immplementation de dirpath et implementation dans l'autre se...	herbelin
2001-10-17	Amélioration mise en page Print ML Module et Print ML Module	herbelin
2001-09-20	On ignore les répertoires qui ne correspondent pas à des idents	herbelin
2001-09-19	Protection hd d'une liste vide	herbelin
2001-08-10	Parsing	herbelin
2001-05-23	amelioration des messages d'erreurs vis a vis des evars	barras
2001-04-03	utilisation de Options.if_verbose	filliatr
2001-03-15	entetes	filliatr
2001-02-07	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin
2000-11-29	load_path_entry structure simplified; field relative_subdir renamed to coq_di...	sacerdot
2000-11-29	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin
2000-11-24	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr
2000-11-24	- coqc: utilise le meilleur coq possible	filliatr
2000-11-15	methode export	filliatr
2000-11-08	nouveau load path	filliatr
2000-10-27	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr
1999-12-12	modules	filliatr
1999-12-05	premier debugage	filliatr
1999-12-03	compilation native	filliatr