aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* avoid small overflowsGravatar barras2008-09-02
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Now, -browser option is effective (and compiles)Gravatar glondu2008-07-27
* (Partially) Revert previous commit because of FTBFSGravatar glondu2008-07-27
* Add -browser option to configure scriptGravatar glondu2008-07-27
* Suite commit 11236Gravatar notin2008-07-24
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Quelques modifications autour du filtrage Ltac:Gravatar herbelin2008-07-16
* Fixes in handling of implicit arguments:Gravatar msozeau2008-07-04
* Fichiers oubliés lors du 11188 :-(Gravatar herbelin2008-06-30
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* - Correction de la version simplifiée (filtrage sur deux sigGravatar herbelin2008-06-09
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* - Extension de "generalize" en "generalize c as id at occs".Gravatar herbelin2008-06-08
* Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematicalGravatar herbelin2008-06-06
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* debug : case where length of s is < 2...Gravatar jnarboux2008-05-28
* debug subst_command_placeholder : replace %s and not only %Gravatar jnarboux2008-05-26
* Ajout de la possibilité d'utiliser fix/cofix dans les notations.Gravatar herbelin2008-05-24
* Various fixes:Gravatar msozeau2008-05-15
* - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used toGravatar msozeau2008-05-12
* 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
* Suite 10904 (fichiers oubliés)Gravatar herbelin2008-05-08
* Prise en compte des coercions dans les clauses "with" même si le typeGravatar herbelin2008-04-23
* Added a function that escapes XML characters in ppcmds.Gravatar cek2008-04-16
* Diverses corrections Gravatar herbelin2008-04-14
* Bugs, nettoyage, et améliorations diversesGravatar herbelin2008-04-13
* Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientGravatar herbelin2008-04-01
* improved the implementation of rtreeGravatar barras2008-03-18
* git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10690 85f007b7-540e-0...Gravatar barras2008-03-18
* Merge with lmamane's private branch:Gravatar lmamane2008-02-22
* Add list_iter3 Gravatar msozeau2008-01-30
* Fix backtracking bugs:Gravatar lmamane2008-01-15
* implements a better way to respect the Unix convention that processes receive...Gravatar bertot2008-01-11
* Correction bug #1749 (datant de l'implantation des or-patterns) +Gravatar herbelin2008-01-05
* Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,...Gravatar msozeau2007-12-31
* Petite correction de Option.default (default faisait un Option.map Gravatar aspiwack2007-12-14
* Util.option_compare devient Option.Misc.Compare et change un peu de type Gravatar aspiwack2007-12-07
* 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
* Enlevé les trucs commités au mauvais endroitGravatar aspiwack2007-10-23
* Quelques structures de donnée plus les modules principaux (et Gravatar aspiwack2007-10-23
* Added "is_empty" to gmap.Gravatar aspiwack2007-10-23
* Repair Haskell/Scheme extraction in the new extraction backend design: Gravatar letouzey2007-10-17
* Correction de quelques défauts d'affichage (notations sous "as" pourGravatar herbelin2007-10-05
* * Adding compability with ocaml 3.10 + camlp5 (rework of Gravatar letouzey2007-09-15
* Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte lesGravatar herbelin2007-09-04