coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Réforme de l'interprétation des termes :	herbelin	2002-11-14
*	Correction bug PR#222	coq	2002-11-08
*	Intégration des modifs de la branche mowgli :	herbelin	2002-11-05
*	Préservation de la cohérence du cache en cas d'erreur au chargement	herbelin	2002-10-29
*	Prise en compte let-in	herbelin	2002-10-29
*	Des critères plus fins d'analyse des implicites automatiques; meilleur affic...	herbelin	2002-10-28
*	Nettoyage	herbelin	2002-10-12
*	Forcer la réouverture d'un fichier explicitement requis même si le	herbelin	2002-10-12
*	Nametab permet de definir le meme truc la deuxieme fois	coq	2002-10-10
*	Encore quelques rangements dans Nametab + petits trucs	coq	2002-09-27
*	Un peu (plus) d'ordre dans Nametab...	coq	2002-09-24
*	Nametab data structure reorganisation	coq	2002-09-24
*	La notation with dependante + affichage dependante de moduels corrige	coq	2002-09-20
*	La notation 'with'. L'interpretation - version preliminaire	coq	2002-08-19
*	Pretty-printing preliminaire des modules, commandes	coq	2002-08-19
*	Suppression automatique du corps des définitions locales opaques dans	herbelin	2002-08-17
*	Strengthenning rules for modules + No modules in sections	coq	2002-08-16
*	Petites corrections ici et la	coq	2002-08-13
*	Modules dans COQ\!\!\!\!	coq	2002-08-02
*	Protection des tactiques contre l'utilisation sans le bon contexte de thories	herbelin	2002-06-03
*	Protection des tactiques contre l'utilisation sans le bon contexte de thories	herbelin	2002-06-03
*	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin	2002-05-29
*	MAJ V7.3	herbelin	2002-05-15
*	Déplacement/renommage de Class.stre_max en Declare.strength_min	herbelin	2002-04-16
*	Interdiction de nommer une constante comme une variable de section (plus simp...	herbelin	2002-04-12
*	suppression de pop_named	barras	2002-02-22
*	- Reforme de la gestion des args recursifs (via arbres reguliers)	barras	2002-02-14
*	option -dump-glob pour coqdoc	filliatr	2002-02-14
*	Raffinement library_part	herbelin	2002-02-12
*	Ajout library_part	herbelin	2002-02-12
*	Correction de l'ordre des open (sachant que de toutes façons, un	herbelin	2002-01-24
*	Pas d'assert false dans un try with !	herbelin	2002-01-18
*	Plusieurs arguments autorisés pour Require et Read Module; mise en place d'u...	herbelin	2002-01-18
*	Suppression de la dépendance des .vo en le nom physique des modules	herbelin	2002-01-07
*	MAJ nombre magique	herbelin	2001-12-19
*	probleme des Require dans les sections	barras	2001-12-17
*	compat ocaml 3.03	filliatr	2001-12-13
*	- condition de garde (suite)	barras	2001-12-10
*	Rustine pour garder la compatibilité avec la 7.1 pour l'ordre des imports sa...	herbelin	2001-12-05
*	reparation de Locate	barras	2001-11-29
*	nouvel algo de conversion plus uniforme	barras	2001-11-29
*	Fusion de declare/add_constant, declare/add_parameter et add_discharged_constant	herbelin	2001-11-20
*	Mise en place d'une méthode directe pour indiquer le type des déclarations ...	herbelin	2001-11-19
*	Re-installation de l'affichage des globaux par des noms courts	herbelin	2001-11-19
*	Suites modifs du noyau. Univ devient purement fonctionnel.	barras	2001-11-12
*	Déplacement et export de type_of_global dans Global	herbelin	2001-11-09
*	corrections mineures suite au commit de restructuration du noyau	barras	2001-11-06
*	GROS COMMIT:	barras	2001-11-05
*	Reorganisation de Goption. Passage des options l'utilisant en synchrone	letouzey	2001-10-30
*	Patch de goption.ml pour faire marcher les options synchrones. Passage des op...	letouzey	2001-10-24