aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/mod_subst.ml
Commit message (Expand)AuthorAge
...
* In function "substitution_prefixed_by" the prefix test on module path Gravatar soubiran2010-04-19
* cf. 12945Gravatar soubiran2010-04-16
* Added a lazy evaluation of the composition of module substitutions. It improv...Gravatar soubiran2010-02-04
* Various bug fix on recent features of the module system:Gravatar soubiran2010-01-19
* declaremods.ml <--- code factoringGravatar soubiran2009-12-03
* First debug... the renaming of librairies was not working and auto/dn were no...Gravatar soubiran2009-10-23
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Bug 2050, commit v8.2 11923-11924 ---> trunkGravatar soubiran2009-02-13
* correction bug 1839Gravatar soubiran2008-04-25
* Correction d'un bug sur Import/Export : ces fonctionnalites sont gerees en-de...Gravatar soubiran2008-03-26
* Correction de bugs relatifs a la compostion des substitutionsGravatar soubiran2008-03-25
* Ajout des alias de module dans le noyau.Gravatar soubiran2008-03-14
* Memory optimisation for modules and constrs substitutions.Gravatar soubiran2007-05-30
* Correction of (PR#1576).Gravatar soubiran2007-05-25
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* HUGE COMMITGravatar sacerdot2005-01-03
* * added subst_evaluable_referenceGravatar sacerdot2004-12-07
* Names.substitution (and related functions) and Term.subst_mps moved toGravatar sacerdot2004-11-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 01:45:32 +0000