aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/coqtop.ml
Commit message (Expand)AuthorAge
* note for later : when the tag table is shared, never, ever create twoGravatar vgross2009-10-16
* Changed the way to support compatibility with previous versions.Gravatar herbelin2009-10-04
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Improved parameterization of Coq:Gravatar herbelin2009-08-02
* Support for binding Coq root read-only in -R optionGravatar herbelin2009-07-01
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* Better mechanism for loading initial pluginsGravatar letouzey2009-03-14
* Report des revisions #11826, #11828 et #11829 de v8.2 vers trunkGravatar notin2009-02-11
* - Suppression date dans configure du trunkGravatar herbelin2008-12-26
* - coq_makefile: target install now respects the original tree structureGravatar herbelin2008-12-24
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Sequel of 11697: repair coqtop.byte when contribs are statically linked (+min...Gravatar letouzey2008-12-17
* Take advantage of natdynlink when available: almost all contribs become loada...Gravatar letouzey2008-12-16
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* Tentative d'amélioration de la robustesse des Makefile générés parGravatar notin2008-11-13
* Native "Declare ML Module" when possibleGravatar glondu2008-10-28
* Suite commit 11236Gravatar notin2008-07-21
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* Lissage de la gestion des chemins de chargement de fichiers :Gravatar herbelin2008-06-29
* Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...Gravatar notin2008-06-25
* Suppression de l'option -dump-glob et ajout d'une option -no-globGravatar notin2008-06-24
* 2-3 petites modifs pour la compilation sous Windows...Gravatar notin2008-06-06
* - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used toGravatar msozeau2008-05-12
* Correction bug #1842 + correction bug initialisation introduit dansGravatar herbelin2008-05-10
* - Prise en compte de l'unicode dans la fonction hdchar (elle fournissait desGravatar herbelin2008-05-10
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Factorisation des opérations sur le type option de Util dans un module Gravatar aspiwack2007-12-05
* On Linux, we read /proc/self/exe to get the executable's path insteadGravatar glondu2007-09-28
* Suite ajout option -output-contextGravatar herbelin2006-12-08
* Ajout d'une option -output-context qui affiche le contexte en CCI pur à laGravatar herbelin2006-12-08
* Added a new option -emacs-U changing emacs prompt delimiters byGravatar courtieu2006-09-29
* Corrections mineuresGravatar notin2006-09-25
* Modifications dans les scripts de configuration (coqtop et coqide affichent m...Gravatar notin2006-07-28
* Ajout d'une option -with-geoproof à la configuration et à l'exécutionGravatar notin2006-06-09
* Réinitialisation de token_number à chaque compilation d'un nouveau fichier ...Gravatar notin2006-06-08
* Réparation coqtop.mlGravatar notin2006-06-07
* Changement de l'option -where: on vérifie si la variable d'environnement COQ...Gravatar notin2006-06-07
* Modification of emacs output: Pp.warning and al now output warningGravatar courtieu2006-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 de stratégie vis à vis du positionnement du module Top en mode b...Gravatar herbelin2005-12-24
* option '-top dir' now works also in batch mode (2ème)Gravatar herbelin2005-12-22
* option '-top dir' now works also in batch mode; it is even necessary to ensur...Gravatar herbelin2005-12-22
* Changement des named_contextGravatar gregoire2005-12-02
* bug #909: Top n'est cree que si le contexte est videGravatar barras2005-11-23
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* compatibility with POWERPCGravatar gregoire2004-11-22
* Changement dans les boxed values .Gravatar gregoire2004-11-12
* COMMITED BYTECODE COMPILERGravatar barras2004-10-20