index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
kernel
/
mod_subst.ml
Commit message (
Expand
)
Author
Age
...
*
First debug... the renaming of librairies was not working and auto/dn were no...
soubiran
2009-10-23
*
This big commit addresses two problems:
soubiran
2009-10-21
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Bug 2050, commit v8.2 11923-11924 ---> trunk
soubiran
2009-02-13
*
correction bug 1839
soubiran
2008-04-25
*
Correction d'un bug sur Import/Export : ces fonctionnalites sont gerees en-de...
soubiran
2008-03-26
*
Correction de bugs relatifs a la compostion des substitutions
soubiran
2008-03-25
*
Ajout des alias de module dans le noyau.
soubiran
2008-03-14
*
Memory optimisation for modules and constrs substitutions.
soubiran
2007-05-30
*
Correction of (PR#1576).
soubiran
2007-05-25
*
Nettoyage suite à la détection par défaut des variables inutilisées par o...
herbelin
2005-11-08
*
HUGE COMMIT
sacerdot
2005-01-03
*
* added subst_evaluable_reference
sacerdot
2004-12-07
*
Names.substitution (and related functions) and Term.subst_mps moved to
sacerdot
2004-11-16
[prev]