aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/options.ml
Commit message (Expand)AuthorAge
* Une passe sur les warnings (ajout Options.warn déclenchée par compile-verbo...Gravatar herbelin2007-02-24
* Added a new option -emacs-U changing emacs prompt delimiters byGravatar courtieu2006-09-29
* Standardisation nom option_app en option_mapGravatar herbelin2006-04-27
* 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
* 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
* Code redondant (cf Printer)Gravatar herbelin2005-01-14
* 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
* Nouvelle en-têteGravatar herbelin2004-07-16
* Ajout option raw_print (Set Printing All) pour desactiver toute fonctionnalit...Gravatar herbelin2004-01-29
* Passage à la V8 par défautGravatar herbelin2003-09-22
* Un seul binaire commun v7 et v8 avec détection précoce de l'option -v8 et c...Gravatar herbelin2003-09-12
* Positionnement precoce de l'option -v7Gravatar herbelin2003-08-14
* Option -v8 à coqtop lance coqtopnew; option -no-strict; option -no-proofsGravatar herbelin2003-08-11
* Ajout option translate_syntax pour caractériser l'interprétation du traduct...Gravatar herbelin2003-06-12
* Mise en place d'un 2ème traducteur à l'essai (activable avec -ftranslate2)Gravatar herbelin2003-04-29
* Déplacement with_option dans OptionsGravatar herbelin2003-04-01
* *** empty log message ***Gravatar barras2003-03-12
* Ajout du traducteurGravatar desmettr2003-02-05
* Ajout options -v7 et -v8, et commandes V7only et V8onlyGravatar herbelin2002-12-10
* Nouvelle option -xml à coqtop pour compiler un développement enGravatar herbelin2002-11-05
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* option -dump-glob pour coqdocGravatar filliatr2002-02-14
* Le chargement des coercions est nécessaire même si le module n'est pas ouvertGravatar herbelin2002-01-18
* Suppression option immediate_discharge; nettoyage de Declare et conséquencesGravatar herbelin2001-10-11
* option -qualityGravatar filliatr2001-05-28
* *** empty log message ***Gravatar courant2001-04-19
* utilisation de Options.if_verboseGravatar filliatr2001-04-03
* entetesGravatar filliatr2001-03-15
* Mise en place d'un système optionnel de discharge immédiat; prise en compte...Gravatar herbelin2001-02-14
* modules et coqcGravatar filliatr1999-12-12
* Discharge (encore bugge)Gravatar filliatr1999-12-09
* poursuite de VernacentriesGravatar filliatr1999-12-01
* module Classops; ajout de fonctions dans Declare en consequenceGravatar filliatr1999-11-26
* ajouts divers pour module PrinterGravatar filliatr1999-11-26
* ajout de divers fonctions dans lib/Gravatar filliatr1999-09-28