aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Ajout pluralGravatar herbelin2006-02-07
* Suppression de la dépendance en Map.fold de ocaml dont la sémantique aGravatar herbelin2006-01-24
* Déplacement de pr_arg et pr_opt de Ppconstr vers UtilGravatar herbelin2006-01-21
* Modification pour que l'ordre des éléments respecte l'ordre dans lequel ils...Gravatar herbelin2006-01-03
* Remplacement Pp.qs par Pptactic.qsnewGravatar herbelin2005-12-28
* Renommage des Pp*new en Pp* (et déplacement dans parsing); renommage des G_*...Gravatar herbelin2005-12-26
* Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...Gravatar herbelin2005-12-26
* Changement des named_contextGravatar gregoire2005-12-02
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Types inductifs parametriquesGravatar mohring2005-11-02
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
* Sur le conseil de X.Leroy: x=[||] devient Array.length x=0Gravatar letouzey2005-08-19
* New environment variable COQREMOTEBROWSER to set the command used by CoqGravatar sacerdot2005-05-26
* Déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-19
* Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...Gravatar herbelin2005-05-17
* Implementation of a new backtracking system, that allow to go backGravatar coq2005-04-20
* Bug synchronisation fonction connectGravatar herbelin2005-02-04
* Ajout d'un processus de communication entre Coq et un outil externeGravatar herbelin2005-02-04
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Compatibilité ocamlweb pour cible docGravatar herbelin2005-01-21
* Code redondant (cf Printer)Gravatar herbelin2005-01-14
* Passage d'une bibliothèque de grands entiers naturels vers une bibliothèque...Gravatar herbelin2004-12-24
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20
* option -no-hash-consing pour supprimmer le hash-consingGravatar filliatr2004-10-12
* optimized the non-backtracking caseGravatar barras2004-09-06
* Protection unlocGravatar herbelin2004-07-29
* Bug join_locGravatar herbelin2004-07-29
* Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...Gravatar herbelin2004-07-27
* Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06Gravatar herbelin2004-07-17
* Mise en place mécanisme de compatibilité ocaml 3.08Gravatar herbelin2004-07-16
* Nouvelle en-têteGravatar herbelin2004-07-16
* un argument booleen inutilisé dans expand_macrosGravatar letouzey2004-05-08
* modif des fixpoints pour que si on donne une notation au produit, les pts fix...Gravatar barras2004-03-05
* Erreur dépendance en Util lui-mêmeGravatar herbelin2004-02-16
* Ajout array_map_left and coGravatar herbelin2004-02-13
* Localisation des erreurs d'internalisation des notations de tactiquesGravatar herbelin2004-02-12
* Ajout option raw_print (Set Printing All) pour desactiver toute fonctionnalit...Gravatar herbelin2004-01-29
* *** empty log message ***Gravatar barras2003-12-31
* Export string_index_fromGravatar herbelin2003-11-26
* Marge presqu'a 80, maximum indentation a 50 pour une meilleure lisibiliteGravatar herbelin2003-10-16
* Ajout projections de tripletGravatar herbelin2003-10-13
* reparation Undo suiteGravatar herbelin2003-10-11
* Bug undoGravatar herbelin2003-10-10
* Gestion en temps constant de la pile des UnfoGravatar herbelin2003-10-10
* traducteur: affiche les commentaires a l'interieur des commandesGravatar barras2003-09-22
* Passage à la V8 par défautGravatar herbelin2003-09-22
* Bug PR#324Gravatar herbelin2003-09-14
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12