index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
library
Commit message (
Expand
)
Author
Age
*
Pédagogie
herbelin
2000-12-19
*
Réparation de bugs de LoadPath
herbelin
2000-12-15
*
Bug des locaux au premier niveau des modules qui disparaissaient de l'environ...
herbelin
2000-12-15
*
Les params d'inductif deviennent en même temps propre à chaque inductif d'u...
herbelin
2000-12-14
*
syntaxe AST Inversion + commentaires ocamlweb autour de $
filliatr
2000-12-12
*
Reparation conditions de positivites inductifs, echange dans add_entry
mohring
2000-12-06
*
Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...
herbelin
2000-12-05
*
Nouvelle table de noms pour les locaux qui ne survit pas à la fermeture de l...
herbelin
2000-12-05
*
caractere opaque des constantes repris en compte
filliatr
2000-12-04
*
load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa
sacerdot
2000-11-29
*
La zone par défaut pour le nommage des modules est Scratch
herbelin
2000-11-29
*
Enregistrement des racines de la bibliothèque
herbelin
2000-11-29
*
Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ch...
herbelin
2000-11-29
*
Les variables doivent persister dans les vo pour HELM
herbelin
2000-11-28
*
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
*
Bug dans find_common_hyps_then_abstract en présence de défs locales
herbelin
2000-11-27
*
Bug extract_instance en présence de défs locales
herbelin
2000-11-27
*
Prise en compte des let in dans les instances de globaux
herbelin
2000-11-27
*
Nettoyage
herbelin
2000-11-26
*
Calcul du chemin optimal dans qualid_of_global
herbelin
2000-11-26
*
Prise en compte de noms absolus dans la nametab + nettoyage
herbelin
2000-11-26
*
Prise en compte de noms absolus dans la nametab
herbelin
2000-11-26
*
Bug relocation des hypothèses quand les contextes de définitions et d'utili...
herbelin
2000-11-24
*
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
*
Fonction qualid_of_global pour affichage des paths avec des '.'
herbelin
2000-11-23
*
print_id, print_sp -> pr_id, pr_sp
herbelin
2000-11-23
*
Abstraction du type 'qualid' pour les noms qualifiés relatifs distinct de 's...
herbelin
2000-11-22
*
deplacement poly_args; iterateurs sur les segments
filliatr
2000-11-22
*
Reparation bug mutuels ind
mohring
2000-11-22
*
reset_name: try / with juste autour de find_entry_p (=> propage les
filliatr
2000-11-21
*
ajout d'un frozen_state après la fermeture d'une section (sinon bug !)
filliatr
2000-11-21
*
implicites manuels
filliatr
2000-11-21
*
correction bug Reset
filliatr
2000-11-21
*
separation calcul des implicites et declaration des constantes / inductifs / ...
filliatr
2000-11-21
*
Petit bug entre close_section's
herbelin
2000-11-20
*
Ajout implicits_of_global + accès par noms longs
herbelin
2000-11-20
*
Open est maintenant géré par Nametab
herbelin
2000-11-20
*
Nouveaux points d'accès pour les noms qualifiés
herbelin
2000-11-20
*
Nouvelle structure arborescente à la Nametab pour prendre en compte les noms...
herbelin
2000-11-20
*
Ajout d'une Nametab et d'un flag export aux ClosedSection; on applique export...
herbelin
2000-11-20
*
methode export
filliatr
2000-11-15
*
Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...
herbelin
2000-11-10
*
Bugs lies a la confusion load/open et a un open abusivement recursif dans lib...
herbelin
2000-11-10
*
Renommage canonique SectionLocalDecl -> SectionLocalAssum
herbelin
2000-11-09
*
nouveau load path
filliatr
2000-11-08
*
out_variable (Liboject.obj -> ...) distibgue de get_variable
filliatr
2000-11-08
*
Nettoyage Names et conséquences (dont ajout d'un type dir_path, argument de ...
herbelin
2000-11-06
[next]