aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/entries.mli
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Move from ocamlweb to ocamdoc to generate mli documentationGravatar pboutill2010-04-29
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* 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
* New keyword "Inline" for Parameters and Axioms for automatic Gravatar soubiran2007-04-25
* Removed some useless code in mod_typing that was redundant with safe_typing.Gravatar soubiran2007-02-21
* MAJ documentation en syntaxe v8Gravatar herbelin2006-03-18
* Types inductifs parametriquesGravatar mohring2005-11-02
* Construct "T with (Definition|Module) id := c" generalized toGravatar sacerdot2005-01-13
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* Nouvelle en-têteGravatar herbelin2004-07-16
* correspondance des records et noms de champs de records entre un module et sa...Gravatar letouzey2004-06-25
* La notation 'with'. L'interpretation - version preliminaireGravatar coq2002-08-19
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 08:22:26 +0000