aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/modops.ml
Commit message (Expand)AuthorAge
...
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Modulification of nameGravatar ppedrot2012-12-18
* Modulification of LabelGravatar ppedrot2012-12-18
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* More monomorphizationsGravatar ppedrot2012-11-13
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Partial revert of Yann commit in order to use CLib.List when openingGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Noise for nothingGravatar pboutill2012-03-02
* Mod_subst: some simplifications, some more significant names to functions, etcGravatar letouzey2011-10-26
* Various simplifications about constant_of_delta and mind_of_deltaGravatar letouzey2011-10-11
* Modops: the strengthening functions can work without any env argumentGravatar letouzey2011-05-17
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* Moving printing of module typing errors upwards to himsg.ml so as toGravatar herbelin2011-03-05
* Starting being more explicit on the reasons why module subtyping fails.Gravatar herbelin2011-03-05
* A fine-grain control of inlining at functor application via priority levelsGravatar letouzey2011-01-31
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Minor fixes from Gregory Malecha. A typo fixed and a better (located) Gravatar msozeau2010-11-15
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Added a few informations about file lineages (for the most part in kernel)Gravatar herbelin2010-05-09
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* cf. 12945Gravatar soubiran2010-04-16
* fix commit 12706 + comments.Gravatar soubiran2010-02-03
* Small fix on module inclusion.Gravatar soubiran2010-02-02
* Include can accept both Module and Module TypeGravatar letouzey2010-01-07
* The following script was rasing an errorGravatar soubiran2010-01-04
* the inlining computation at functor application was raising not_found when th...Gravatar soubiran2009-11-13
* 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
* Correction bug 2134.Gravatar soubiran2009-07-09
* Bug 2050, commit v8.2 11923-11924 ---> trunkGravatar soubiran2009-02-13
* petite modif du commit 11513.Gravatar soubiran2008-10-28
* Correction bug 1979.Gravatar soubiran2008-10-28
* Correction bug #1969.Gravatar soubiran2008-10-21
* Report des commits 11417 et 11437 de la v8.2Gravatar soubiran2008-10-15
* Uniformisation du format des messages d'erreur (commencent par uneGravatar herbelin2008-07-17
* meilleur gestion de la fonction de "cache" des alias (declaremods), et correc...Gravatar soubiran2008-06-18
* correction bug 1839Gravatar soubiran2008-04-25
* correction du bug sur Parameter Inline que j'ai reouvert hier par inadvertanceGravatar soubiran2008-04-23
* correction bug 1839Gravatar soubiran2008-04-22
* Correction bug 1838 + doc modules.Gravatar soubiran2008-04-21
* Correction de bugs relatifs a la compostion des substitutionsGravatar soubiran2008-03-25
* Ajout des alias de module dans le noyau.Gravatar soubiran2008-03-14
* Beaoucoup de changements dans la representation interne des modules.Gravatar soubiran2008-02-01
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 23:14:11 +0000