aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/flags.ml
Commit message (Expand)AuthorAge
* Second step of integration of Program:Gravatar msozeau2012-03-14
* In Coq_config: get rid of coqsrc and make coqlib optionalGravatar glondu2011-09-27
* This option disables the use of the '{| field := ... |}' notationGravatar herbelin2011-07-16
* Generalizing flag use_evars_pattern_unification into a flagGravatar herbelin2011-06-18
* Made the emacs-U option deprecated. Also removed the old codeGravatar courtieu2011-05-24
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* A fine-grain control of inlining at functor application via priority levelsGravatar letouzey2011-01-31
* Remove the "Boxed" syntaxes and the const_entry_boxed fieldGravatar letouzey2011-01-28
* Addressing part 2 of bug report 2377 (removing intrusive warning whenGravatar herbelin2010-09-19
* * By default, load proof terms.Gravatar regisgia2010-08-31
* * lib/Flags: Replace dont_load_proofs by load_proofs since not loadingGravatar regisgia2010-08-27
* Rather quick hack to make basic unicode notations available byGravatar herbelin2010-07-29
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Made option "Automatic Introduction" active by default before too manyGravatar herbelin2010-06-08
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Added support for definition of fixpoints using tactics.Gravatar herbelin2009-11-27
* Changed the way to support compatibility with previous versions.Gravatar herbelin2009-10-04
* Add the option to automatically introduce variables declared before theGravatar msozeau2009-09-22
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* Backporting from v8.2 to trunk:Gravatar herbelin2009-01-18
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* Fixed bug in VernacExtend printing + missing vernacular printing rules +Gravatar herbelin2008-11-22
* É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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 10:35:10 +0000