index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
library
/
library.ml
Commit message (
Expand
)
Author
Age
*
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