coq - The formal proof system

Age	Commit message (Expand)	Author
2004-02-21	Export des arguments scope au chargement, pas a l'ouverture (2eme)	herbelin
2004-02-20	Export des arguments scope au chargement, pas a l'ouverture	herbelin
2004-02-12	Localisation erreur interp_notation	herbelin
2004-01-21	Export information des references de notations pour coqdoc	herbelin
2003-11-22	Traitement plus clair, notamment pour Locate, de quand quoter les composantes...	herbelin
2003-11-12	Test de la reference principale plutot que le module dans lequel se trouve la...	herbelin
2003-11-01	Ajout notations pour motifs de Cases; renommage map_aconstr_with_binders_loc	herbelin
2003-10-28	Ajout de Print Visibility	herbelin
2003-10-21	Bug Locate Notation	herbelin
2003-10-16	Message d'erreur	herbelin
2003-10-07	Correction du bug 335 et Export/Require Export dans un module	coq
2003-10-01	cosmetique	herbelin
2003-09-30	Ajout 'Close Scope'.	herbelin
2003-09-26	Decouplage printing en v8 pour les interpretations de notations	herbelin
2003-09-19	parsing	herbelin
2003-09-12	Activation déclaration automatique de scope d'arguments	herbelin
2003-06-10	Extension de Locate sur les symboles avec recherche de sous-chaînes; mise en...	herbelin
2003-04-29	Prise en compte des syntaxes v8 dans Uninterpreted Notation	herbelin
2003-04-17	Ajout "at next level" dans Notation	herbelin
2003-04-11	Ajout option 'Local' à Infix et Notation	herbelin
2003-04-08	Application de l'absence d'export aux modules	herbelin
2003-04-08	Ajout option "Local" à "Open Scope"	herbelin
2002-12-15	Prise en compte des scopes traversés dans les notations	herbelin
2002-12-03	Préparation à la prise en compte des changements de scopes internes aux not...	herbelin
2002-11-28	Bug exception	herbelin
2002-11-26	Réaffichage des Syntactic Definition (printer constr_expr).	herbelin
2002-11-24	Utilisation des niveaux de camlp4 pour gérer les niveaux de constr; amélior...	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin