coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	on gele apres un Require => meilleures performances memoire, en particulier p...	filliatr	2001-03-06
*	Déplacement de qualid dans Nametab, hors du noyau	herbelin	2001-03-01
*	ident au lieu de string pour le nom de base de qualid	herbelin	2001-02-16
*	simplification du make depend; fonctions de stat. util. memoire dans certains...	filliatr	2001-02-08
*	Centralisation des add_path dans Mltop a cause de la dependance en add_ml_dir	herbelin	2001-02-07
*	Import module force l'ouverture du module même s'il était déjà ouvert afi...	herbelin	2000-12-20
*	Réparation de bugs de LoadPath	herbelin	2000-12-15
*	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot	2000-11-29
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...	herbelin	2000-11-29
*	Prise en compte du repertoire dans le section path; utilisation de dirpath po...	herbelin	2000-11-28
*	load_module / open_module un tantinet plus rapides	filliatr	2000-11-27
*	Prise en compte de noms absolus dans la nametab	herbelin	2000-11-26
*	Ajout objets END-SECTION pour les nametabs + nettoyage lib/nametab	filliatr	2000-11-24
*	certains effets disparaissent a la sortie des sections, d'autres non (selon S...	filliatr	2000-11-24
*	synchronisation Require	filliatr	2000-11-24
*	deplacement poly_args; iterateurs sur les segments	filliatr	2000-11-22
*	Open est maintenant géré par Nametab	herbelin	2000-11-20
*	Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...	herbelin	2000-11-10
*	nouveau load path	filliatr	2000-11-08
*	out_variable (Liboject.obj -> ...) distibgue de get_variable	filliatr	2000-11-08
*	- simplification Makefile (compilation des fichiers .ml'; pas encore parfait	filliatr	2000-10-31
*	Pour le Require Export (temporaire)	delahaye	2000-10-30
*	Require Export recursifs	filliatr	2000-10-26
*	module_segment et module_filename	filliatr	2000-10-23
*	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path. Abstract...	herbelin	2000-09-10
*	gros commit de tout ce que j'ai fait pendant les vacances :	filliatr	2000-01-21
*	modules	filliatr	1999-12-12
*	- constantes avec recettes	filliatr	1999-12-09
*	modules Bij, Gmapl, Stock	filliatr	1999-11-19
*	juste l'interface de Discharge	filliatr	1999-09-28
*	module Declare	filliatr	1999-09-19
*	- un effort sur la doc (ocamlweb)	filliatr	1999-09-19
*	module Library	filliatr	1999-09-18