aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Correction bug #990 (LoadPath et option -R de coqideGravatar notin2006-05-30
* Ajout array_fold_map2Ã'Gravatar herbelin2006-05-28
* r8931@thot: notin | 2006-04-28 16:19:38 +0200Gravatar notin2006-04-28
* Standardisation nom option_app en option_mapGravatar herbelin2006-04-27
* Modification of emacs output: Pp.warning and al now output warningGravatar courtieu2006-04-27
* Modification of emacs output: Pp.warning and al now output warningGravatar courtieu2006-04-27
* Si un fixpoint a plusieurs arguments, mais un seul de type inductif, Gravatar letouzey2006-04-14
* Ajout array_fold_map', list_fold_map' et list_remove_firstGravatar herbelin2006-03-29
* DocumentationGravatar herbelin2006-03-18
* 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