| Commit message (Expand) | Author | Age |
* | More indirection. | vgross | 2010-05-31 |
* | Add (almost) compatibility with camlp4, without breaking support for camlp5 | letouzey | 2010-05-19 |
* | Nicer representation of tokens, more independant of camlp* | letouzey | 2010-05-19 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Improving error messages in the presence of utf-8 characters | herbelin | 2010-03-30 |
* | Migration of ProtectedToplevel and Line_oriented_parser into new contrib Inte... | letouzey | 2009-12-08 |
* | New cleaning phase of the Local/Global option management | herbelin | 2009-10-26 |
* | Revert "kills the old backtracking framework and replaces it with" | vgross | 2009-10-05 |
* | kills the old backtracking framework and replaces it with | vgross | 2009-09-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Fixed compilation error message which was no longer emacs-compliant since | herbelin | 2009-09-15 |
* | - Backport of 12053 (fixing parsing segfault bug #2087) and 12058 (fixing | herbelin | 2009-04-08 |
* | Fixing/improving management of uniform prefix Local and Global | herbelin | 2009-01-14 |
* | eviter redondance du message d'erreur (Error while reading / File) | barras | 2008-08-07 |
* | (Partial) fix for bug #1892, adding a missing newline. | msozeau | 2008-06-27 |
* | - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait des | herbelin | 2008-05-10 |
* | More emacs-friendly error messages. | glondu | 2008-05-05 |
* | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack | 2007-12-06 |
* | Factorisation des opérations sur le type option de Util dans un module | aspiwack | 2007-12-05 |
* | Report 10087, 10089, 10090 de 8.1 vers trunk (compatibilité camlp5 et -recty... | herbelin | 2007-08-24 |
* | Fixed the -emacs option which was always On. | courtieu | 2006-11-24 |
* | The emacs-U option now does not output *any* char above 250. | courtieu | 2006-11-17 |
* | Correction de la localisation des erreurs en interactif (numéro de | herbelin | 2006-10-20 |
* | Added a new option -emacs-U changing emacs prompt delimiters by | courtieu | 2006-09-29 |
* | Modification of emacs output: Pp.warning and al now output warning | courtieu | 2006-04-27 |
* | Implementation of a new backtracking system, that allow to go back | coq | 2005-04-20 |
* | Affichage numéro de l'état de la commande courante pour mode emacs | herbelin | 2005-01-14 |
* | Abstraction vis à vis du type loc pour compatibilité ocaml 3.08 | herbelin | 2004-07-16 |
* | Nouvelle en-tête | herbelin | 2004-07-16 |
* | - fixed the Assert_failure error in kernel/modops | barras | 2004-02-18 |
* | Localisation des erreurs d'internalisation des notations de tactiques | herbelin | 2004-02-12 |
* | Nouvelle mouture du traducteur v7->v8 | herbelin | 2003-08-11 |
* | *** empty log message *** | barras | 2003-03-12 |
* | -emacs: plus de prompt entre les lignes | filliatr | 2003-01-16 |
* | Réforme de l'interprétation des termes : | herbelin | 2002-11-14 |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
* | Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce | ddr | 2002-02-20 |
* | affichage des messages d'erreur pour Stack_overflow, Out_of_memory, Break | barras | 2002-02-06 |
* | compat ocaml 3.03 | filliatr | 2001-12-13 |
* | - condition de garde (suite) | barras | 2001-12-10 |
* | ligne vide lors de l'affichage des messages d'erreur a toplevel entre | barras | 2001-04-25 |
* | branchement extraction en standard (pas de Require) | filliatr | 2001-04-09 |
* | entetes | filliatr | 2001-03-15 |
* | Make sure the initial state used in a protected loop is the state chose exactly | bertot | 2001-02-13 |
* | uniformisation messages d'erreur | filliatr | 2000-11-27 |
* | Déplacement de save_thm and co de PFedit vers Command | herbelin | 2000-05-25 |
* | Nettoyage de l'interface de Pfedit | herbelin | 2000-05-04 |
* | premier debugage | filliatr | 1999-12-05 |
* | - coqmktop | filliatr | 1999-12-03 |
* | corrections pour ocamlweb | filliatr | 1999-09-28 |