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
*
Noise for nothing
pboutill
2012-03-02
*
Mod_subst: some simplifications, some more significant names to functions, etc
letouzey
2011-10-26
*
Mod_subst: Attempt to fix #2608
letouzey
2011-10-24
*
Mod_subst: an unused function
letouzey
2011-10-11
*
Various simplifications about constant_of_delta and mind_of_delta
letouzey
2011-10-11
*
fixed bug 2580. Quick fix: copy emitcodes before patching it
barras
2011-08-01
*
Mod_subst: improving sharing of subst_mps
letouzey
2011-02-24
*
Some more simplification in Mod_subst
letouzey
2011-02-23
*
Mod_subt: some more refactoring, substitution is also separated in two tables
letouzey
2011-02-11
*
Mod_subst: split delta_resolver in two tables (mp / kn)
letouzey
2011-02-11
*
A fine-grain control of inlining at functor application via priority levels
letouzey
2011-01-31
*
Some dead code removal, thanks to Oug analyzer
letouzey
2010-09-24
*
Fix likely semantic typos
glondu
2010-09-15
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Fixing spelling: pr_coma -> pr_comma
herbelin
2010-06-12
*
Added a few informations about file lineages (for the most part in kernel)
herbelin
2010-05-09
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
In function "substitution_prefixed_by" the prefix test on module path
soubiran
2010-04-19
*
cf. 12945
soubiran
2010-04-16
*
Added a lazy evaluation of the composition of module substitutions. It improv...
soubiran
2010-02-04
*
Various bug fix on recent features of the module system:
soubiran
2010-01-19
*
declaremods.ml <--- code factoring
soubiran
2009-12-03
*
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