aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.ml
Commit message (Expand)AuthorAge
* Évolutions diverses et variées.Gravatar herbelin2008-08-04
* Now, -browser option is effective (and compiles)Gravatar glondu2008-07-27
* (Partially) Revert previous commit because of FTBFSGravatar glondu2008-07-27
* Add -browser option to configure scriptGravatar glondu2008-07-27
* Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...Gravatar notin2008-07-18
* 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
* - Documentation de admit et Print Assumptions.Gravatar herbelin2008-06-09
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* debug : case where length of s is < 2...Gravatar jnarboux2008-05-28
* debug subst_command_placeholder : replace %s and not only %Gravatar jnarboux2008-05-26
* - Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used toGravatar msozeau2008-05-12
* Suite 10904 (fichiers oubliés)Gravatar herbelin2008-05-08
* Ajout des propriétés $Id:$ là où elles n'existaient pas ou n'étaientGravatar herbelin2008-04-01
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06