aboutsummaryrefslogtreecommitdiffhomepage
path: root/library
Commit message (Expand)AuthorAge
* Correction bug #1842 + correction bug initialisation introduit dansGravatar herbelin2008-05-10
* - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait desGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* correction bug 1839Gravatar soubiran2008-04-25
* Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840Gravatar herbelin2008-04-24
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* correction d'un bug sur la compostion des substitutions induites par les alia...Gravatar soubiran2008-04-23
* correction bug 1839Gravatar soubiran2008-04-22
* corection bug #1837Gravatar soubiran2008-04-21
* Correction bug 1838 + doc modules.Gravatar soubiran2008-04-21
* - Un peu de doc, préparation du CHANGES pour la release.Gravatar herbelin2008-04-15
* Correction bug 1818, 3eme commentaire. mauvaise generation de substitution a ...Gravatar soubiran2008-04-03
* Add the ability to specify the implicit status of section variables andGravatar msozeau2008-04-02
* 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
* Correction d'un bug sur les modules de la forme:Gravatar soubiran2008-03-20
* Do a second pass on the treatment of user-given implicit arguments. NowGravatar msozeau2008-03-15
* Ajout des alias de module dans le noyau.Gravatar soubiran2008-03-14
* Merge with lmamane's private branch:Gravatar lmamane2008-02-22
* - Documentation des nouvelles options d'implicites (Set Strongly StrictGravatar herbelin2008-02-06
* Correction d'un bug sur les substitutions:Gravatar soubiran2008-02-05
* declaremods.mlGravatar soubiran2008-02-04
* Beaoucoup de changements dans la representation interne des modules.Gravatar soubiran2008-02-01
* Implicit arguments in class field declarationsGravatar msozeau2008-01-02
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Commit intermédiaire express de réparation de coqide.ml, que j'avais Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* Rétablissement compatibilité constr_of_referenceGravatar herbelin2007-11-09
* Prise en compte des notations "alias" dans la globalisation des coercions.Gravatar herbelin2007-11-08
* Amélioration du message d'erreur dans end_module, end_module_type et close_s...Gravatar notin2007-10-29
* Correction de plusieurs bugs de l'export XML (utilisation d'un type deGravatar herbelin2007-06-21
* Par compatibilité, les implicites terminaux sont maximaux aussi quandGravatar herbelin2007-05-22
* Correction bug calcul des implicites en présence d'evars dans les typesGravatar herbelin2007-05-16
* Processor integers + Print assumption (see coqdev mailing list for the Gravatar aspiwack2007-05-11
* Nouveaux changements autour des implicites (notamment suite àGravatar herbelin2007-05-06
* Multiples changements autour des implicites :Gravatar herbelin2007-04-29
* Ajout possibilité d'options à trois mots.Gravatar herbelin2007-04-29
* New keyword "Inline" for Parameters and Axioms for automatic Gravatar soubiran2007-04-25
* (PR#1529)Gravatar soubiran2007-04-25
* Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...Gravatar herbelin2007-02-24
* Removed some useless code in mod_typing that was redundant with safe_typing.Gravatar soubiran2007-02-21
* Correction bug #1364 (les variables de section sont repérées parGravatar herbelin2007-02-07
* Correction bug #1333 (test non récursivité des dépendances en d'autresGravatar herbelin2007-01-24
* Merge with Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Merge from Lionel Elie Mamane's private branch:Gravatar lmamane2007-01-10
* Suite commit restructuration discharge (application du type deGravatar herbelin2007-01-10
* Nouvelle approche pour le discharge modulaireGravatar herbelin2007-01-10
* Cleaning backtracking code, optimized "Backtrack n x y" when n isGravatar courtieu2006-12-28
* Correction bug #1041 (double cause : non évitement des noms existants enGravatar herbelin2006-12-12