coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Reorganisation de Goption. Passage des options l'utilisant en synchrone	letouzey	2001-10-30
*	Amérioration message d'erreur en cas d'échec du filtrage de premier ordre	herbelin	2001-10-29
*	Nettoyage Recordobj et conséquences	herbelin	2001-10-16
*	Insertion automatique des motifs de let-in s'il ne sont pas explicitement men...	herbelin	2001-10-15
*	Rustine pour rendre les messages d'erreurs de la compilation des Cases plus l...	herbelin	2001-10-15
*	Insertion automatique des motifs de let-in s'il ne sont pas explicitement men...	herbelin	2001-10-15
*	Suppression option immediate_discharge; nettoyage de Declare et conséquences	herbelin	2001-10-11
*	Suppression des arguments sur les constantes, inductifs et constructeurs	barras	2001-10-09
*	Bug de synthèse du prédicat en présence d'arguments non filtrable; correct...	herbelin	2001-10-03
*	Bug d'affichage du prédicat, bug d'affichage des clauses en présence de dé...	herbelin	2001-10-03
*	Ajout de dynamiques pour les quotations constr et tactic	delahaye	2001-10-02
*	Réparation des options Set Printing and co	herbelin	2001-09-21
*	Transparent	barras	2001-09-20
*	Le prédicat du vieux Case ne doit pas contenir d'univers algébrique même q...	herbelin	2001-09-20
*	Blindage, de peur que des types entrant non en forme normale ne provoque des ...	herbelin	2001-09-19
*	Nouvelle fonction get_sort_family_of pour calculer la famille dans lequel vit...	herbelin	2001-09-19
*	Type 'sorts_family' (ex elimination_sorts) pour caractériser les familles de...	herbelin	2001-09-19
*	Nouvelle fonction sort_family_of pour calculer la famille dans lequel vit un ...	herbelin	2001-09-19
*	Correction confusion VarNode/SectionVarNode (d'où bug Hints Unfold nom_local)	herbelin	2001-09-14
*	L'instantiation des evars quand un produit ou une sorte étaient attendus n'�...	herbelin	2001-09-14
*	L'instantiation des evars quand un produit ou une sorte étaient attendus n'�...	herbelin	2001-09-14
*	Hack pour gérer les univers dans les prédicats de Cases synthétisés	herbelin	2001-09-10
*	Nettoyage reduce_to_ind et one_step_reduce	herbelin	2001-09-09
*	Passage aux univers algébriques	herbelin	2001-09-09
*	Préparation du prétypage à la mise en place d'univers algébriques	herbelin	2001-09-09
*	Extension à Cases et Fix de la réduction pas à pas vers un produit (Red)	herbelin	2001-09-07
*	erreur de pretty-print lors de l'affichage de termes avec de Bruijn non lies	barras	2001-09-04
*	bug de Bruijn	herbelin	2001-08-13
*	Parsing	herbelin	2001-08-10
*	Bug Simpl	herbelin	2001-07-24
*	Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...	herbelin	2001-07-21
*	Remplacement du tableau du nombre d'args utiles pour la réduction des Cases ...	herbelin	2001-07-21
*	Les tables de coercions ne doivent pas survivre aux sections	herbelin	2001-07-06
*	la conversion ne doit être testé dans evar_conv qu'en absence de evar	herbelin	2001-07-06
*	has_undefined_isevars était buggé	herbelin	2001-07-06
*	Débogage discharge des coercions; nettoyage	herbelin	2001-07-05
*	message Ambiguous paths seulement si verbose	filliatr	2001-07-04
*	Nettoyage/restructuration des ensembles d'indicateurs de réductions	herbelin	2001-07-02
*	traitement du let dans red_product (tactique Red)	barras	2001-06-29
*	Bug dépendances non pertinentes (dû à des K-rédex) dans le type des branc...	herbelin	2001-06-25
*	Normalisation du predicat synthetise pour les Case	clrenard	2001-06-20
*	code mort	herbelin	2001-06-16
*	Ajout d'une normalisation (beta_iota) pour les predicats de Cases inferes aut...	clrenard	2001-06-12
*	Facilites pour le debogguage des univers.	coq	2001-05-29
*	amelioration des messages d'erreurs vis a vis des evars	barras	2001-05-23
*	Modification pour passage p-automates	mohring	2001-05-15
*	Correction bug predicat du Cases (suite)	herbelin	2001-05-15
*	Bug propagation du predicat des Cases	herbelin	2001-05-12
*	Bug lift de la contrainte au passage du let (bug rapporte par S. Boulme)	herbelin	2001-05-10
*	Changement de la structure des points fixes	barras	2001-05-03