aboutsummaryrefslogtreecommitdiffhomepage
path: root/library
Commit message (Expand)AuthorAge
* In manual implicit arguments mode, do not enrich implicitsGravatar msozeau2008-09-14
* moved magic numbers to configure (share coq/coqchk)Gravatar barras2008-07-24
* broke cyclic dependenciesGravatar barras2008-07-24
* Correct implementation of discharging of implicit arguments and add newGravatar msozeau2008-07-22
* Suite de la révision #11212Gravatar notin2008-07-08
* Fix implicit arguments in sections bug and check for resolution of evars whenGravatar msozeau2008-07-07
* Utilisation de try_locate_qualified_library au lieu de locate_qualified_libra...Gravatar notin2008-07-07
* Fixes in handling of implicit arguments:Gravatar msozeau2008-07-04
* Documentation Prop<=Set et Arguments Scope GlobalGravatar herbelin2008-07-01
* Fichiers oubliés lors du 11188 :-(Gravatar herbelin2008-06-30
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* meilleur gestion de la fonction de "cache" des alias (declaremods), et correc...Gravatar soubiran2008-06-18
* Confusion sur commit précédent de library. La capture du Not_foundGravatar herbelin2008-06-12
* Bug dans l'adaptation de library_full_filename lors du débranchementGravatar herbelin2008-06-11
* Correction bug alias d'alias.Gravatar soubiran2008-06-11
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* Enhancements to coqdoc, better globalization of sections and modules.Gravatar msozeau2008-06-06
* ajout d'un printer pour les contraintes d'univers + correction d'un bug sur l...Gravatar soubiran2008-06-06
* Fix setoid_rewrite documentation examples.Gravatar msozeau2008-06-03
* Improvements on coqdoc by adding more information into .globGravatar msozeau2008-05-30
* - Prise en compte des frozen state de Coq autant que possible pourGravatar herbelin2008-05-24
* 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