aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/nametab.ml
Commit message (Expand)AuthorAge
* Print Module (Type) M now tries to print more detailsGravatar letouzey2011-05-11
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Added command "Locate Ltac qid".Gravatar herbelin2010-06-03
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Death of "survive_module" and "survive_section" (the first one wasGravatar herbelin2009-08-13
* Fixed incorrect optimization in Prettyp.pr_located_qualid introducedGravatar herbelin2009-08-07
* Cleaning of Nametab continued + fixed a compilation bug in previous commit.Gravatar herbelin2009-08-06
* - Cleaning phase of the interfaces of libnames.ml and nametab.mlGravatar herbelin2009-08-06
* Switched to "standardized" names for the properties of eq andGravatar herbelin2009-01-01
* 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
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Prise en compte des notations "alias" dans la globalisation des coercions.Gravatar herbelin2007-11-08
* (PR#1529)Gravatar soubiran2007-04-25
* Modification des propriétés (svn:executable)Gravatar notin2006-03-17
* Correction bug dé-globalisation syntactic def (cf coq-club 20/11/05)Gravatar herbelin2005-11-21
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Nouvelle en-têteGravatar herbelin2004-07-16
* Nouvelle fonction cherchant tous les noms d'un suffixe donneGravatar herbelin2003-10-21
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Passage des noms de tactiques à kernel_name pour compatibilité avec les fon...Gravatar herbelin2003-06-10
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07
* *** empty log message ***Gravatar barras2003-03-12
* Export M + Module M <: SIGGravatar coq2003-01-09
* Affichage nom le plus court pour Syntactic DefinitionGravatar herbelin2002-11-26
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Nametab permet de definir le meme truc la deuxieme foisGravatar coq2002-10-10
* Encore quelques rangements dans Nametab + petits trucsGravatar coq2002-09-27
* Un peu (plus) d'ordre dans Nametab...Gravatar coq2002-09-24
* Nametab data structure reorganisationGravatar coq2002-09-24
* Pretty-printing preliminaire des modules, commandesGravatar coq2002-08-19
* Strengthenning rules for modules + No modules in sectionsGravatar coq2002-08-16
* Petites corrections ici et laGravatar coq2002-08-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* compat ocaml 3.03Gravatar filliatr2001-12-13
* Re-installation de l'affichage des globaux par des noms courtsGravatar herbelin2001-11-19
* GROS COMMIT:Gravatar barras2001-11-05
* Abstraction de l'immplementation de dirpath et implementation dans l'autre se...Gravatar herbelin2001-10-17
* Déplacement de global_reference dans Names pour pouvoir lier Nametab à gra...Gravatar herbelin2001-10-12
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* Nettoyage des commentairesGravatar herbelin2001-09-20
* Ajout de la profondeur de section à DischargeAt pour gérer l'«open» et le...Gravatar herbelin2001-09-19
* Transformation de Remark/Fact en constantes non visibles sans qualificationGravatar herbelin2001-09-14
* Suppression des library roots, on teste si un nom est absolu autrementGravatar herbelin2001-09-07
* ParsingGravatar herbelin2001-08-10