| Age | Commit message (Expand) | Author |
|---|
| 2008-06-09 | - Documentation de admit et Print Assumptions. | herbelin |
| 2008-06-08 | - Extension de "generalize" en "generalize c as id at occs". | herbelin |
| 2008-06-06 | Correction terminologie et ajout plage unicode 1D400-1D7FF (mathematical | herbelin |
| 2008-05-30 | - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t" | herbelin |
| 2008-05-28 | debug : case where length of s is < 2... | jnarboux |
| 2008-05-26 | debug subst_command_placeholder : replace %s and not only % | jnarboux |
| 2008-05-24 | Ajout de la possibilité d'utiliser fix/cofix dans les notations. | herbelin |
| 2008-05-15 | Various fixes: | msozeau |
| 2008-05-12 | - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to | msozeau |
| 2008-05-10 | Correction bug #1842 + correction bug initialisation introduit dans | herbelin |
| 2008-05-10 | - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des | herbelin |
| 2008-05-08 | Suite 10904 (fichiers oubliés) | herbelin |
| 2008-04-23 | Prise en compte des coercions dans les clauses "with" même si le type | herbelin |
| 2008-04-16 | Added a function that escapes XML characters in ppcmds. | cek |
| 2008-04-14 | Diverses corrections | herbelin |
| 2008-04-13 | Bugs, nettoyage, et améliorations diverses | herbelin |
| 2008-04-01 | Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaient | herbelin |
| 2008-03-18 | improved the implementation of rtree | barras |
| 2008-03-18 | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10690 85f007b7-540e-0... | barras |
| 2008-02-22 | Merge with lmamane's private branch: | lmamane |
| 2008-01-30 | Add list_iter3 | msozeau |
| 2008-01-15 | Fix backtracking bugs: | lmamane |
| 2008-01-11 | implements a better way to respect the Unix convention that processes receive... | bertot |
| 2008-01-05 | Correction bug #1749 (datant de l'implantation des or-patterns) + | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-14 | Petite correction de Option.default (default faisait un Option.map | aspiwack |
| 2007-12-07 | Util.option_compare devient Option.Misc.Compare et change un peu de type | aspiwack |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-12-06 | Commit intermédiaire express de réparation de coqide.ml, que j'avais | aspiwack |
| 2007-12-05 | Factorisation des opérations sur le type option de Util dans un module | aspiwack |
| 2007-10-23 | Enlevé les trucs commités au mauvais endroit | aspiwack |
| 2007-10-23 | Quelques structures de donnée plus les modules principaux (et | aspiwack |
| 2007-10-23 | Added "is_empty" to gmap. | aspiwack |
| 2007-10-17 | Repair Haskell/Scheme extraction in the new extraction backend design: | letouzey |
| 2007-10-05 | Correction de quelques défauts d'affichage (notations sous "as" pour | herbelin |
| 2007-09-15 | * Adding compability with ocaml 3.10 + camlp5 (rework of | letouzey |
| 2007-09-04 | Utilisation d'un nouvel algorithme plus raffiné pour prendre en compte les | herbelin |
| 2007-08-30 | Mise à jour des paramètres Whelp et ajouts d'options Set Whelp Server | herbelin |
| 2007-08-28 | Correction d'un bug dans check_and_warn | notin |
| 2007-08-22 | Ajout d'un warning losrqu'un nom de bibliothèque est ambigü | notin |
| 2007-07-13 | New bootstrapping, improved, Makefile system | corbinea |
| 2007-07-11 | Slight cleanup of refl_omega.ml : in particular it uses now list | letouzey |
| 2007-07-07 | If a fixpoint is not written with an explicit { struct ... }, then | letouzey |
| 2007-05-17 | Nettoyage et standardisation des messages d'erreurs. | herbelin |
| 2007-05-11 | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack |
| 2007-04-28 | Ajout de la possibilité de faire référence dans certains cas à un nom | herbelin |
| 2007-04-13 | Correction bug #1477 sur ordre des variables partagées par les or-patterns. | herbelin |
| 2007-04-02 | Intégration de la modification suggérée par Michal Moskal (cf msg sur Coq ... | notin |
| 2007-02-24 | Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo... | herbelin |
| 2007-01-31 | redirection of errors in coqide + dynamic warning printer (needed for tm_egg) | corbinea |
