index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
flags.ml
Commit message (
Expand
)
Author
Age
...
*
Added more flags choice in desambiguating printer. The code is
ppedrot
2013-08-06
*
Flags V8_4 for compatibility infrastructure.
herbelin
2013-06-02
*
Setting "appcontext" as the default behaviour in Ltac matching.
ppedrot
2013-05-28
*
Now printing body of abbreviations (i.e. notation with a name) with
herbelin
2013-05-05
*
Flag ide_slave moved into Flags module
gareuselesinge
2013-04-25
*
Remove deprecated option -no-hash-consing (currently doing nothing)
letouzey
2013-04-23
*
More functional implementation of locality_flag and program_mode
gareuselesinge
2013-04-15
*
Restrict (try...with...) to avoid catching critical exn (part 8)
letouzey
2013-03-13
*
New -no-native-compiler flag for configure, globally disabling the native
mdenes
2013-02-24
*
Updating the backtrace handling mechanism to accomodate the new
ppedrot
2013-02-18
*
Actually adding backtrace handling.
ppedrot
2013-01-28
*
New implementation of the conversion test, using normalization by evaluation to
mdenes
2013-01-22
*
Small uniformization in String
ppedrot
2012-11-13
*
Removed many calls to OCaml generic equality. This was done by
ppedrot
2012-10-29
*
Updating headers.
herbelin
2012-08-08
*
Notation: a new annotation "compat 8.x" extending "only parsing"
letouzey
2012-07-05
*
Colorization of coqtop messages is turned *off* by default
letouzey
2012-06-07
*
Added a color output to Coqtop.
ppedrot
2012-06-04
*
Revert copy/pasted function in to minilib thanks to clib.cma
pboutill
2012-05-23
*
Program: avoid staying in program mode after a failed Program command
letouzey
2012-04-26
*
Second step of integration of Program:
msozeau
2012-03-14
*
In Coq_config: get rid of coqsrc and make coqlib optional
glondu
2011-09-27
*
This option disables the use of the '{| field := ... |}' notation
herbelin
2011-07-16
*
Generalizing flag use_evars_pattern_unification into a flag
herbelin
2011-06-18
*
Made the emacs-U option deprecated. Also removed the old code
courtieu
2011-05-24
*
Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacks
letouzey
2011-04-03
*
A fine-grain control of inlining at functor application via priority levels
letouzey
2011-01-31
*
Remove the "Boxed" syntaxes and the const_entry_boxed field
letouzey
2011-01-28
*
Addressing part 2 of bug report 2377 (removing intrusive warning when
herbelin
2010-09-19
*
* By default, load proof terms.
regisgia
2010-08-31
*
* lib/Flags: Replace dont_load_proofs by load_proofs since not loading
regisgia
2010-08-27
*
Rather quick hack to make basic unicode notations available by
herbelin
2010-07-29
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Made option "Automatic Introduction" active by default before too many
herbelin
2010-06-08
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Added support for definition of fixpoints using tactics.
herbelin
2009-11-27
*
Changed the way to support compatibility with previous versions.
herbelin
2009-10-04
*
Add the option to automatically introduce variables declared before the
msozeau
2009-09-22
*
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-09-17
*
Tried to make F1 documentation tool working in CoqIDE.
herbelin
2009-08-14
*
Backporting from v8.2 to trunk:
herbelin
2009-01-18
*
Nettoyage des variables Coq et amélioration de coqmktop. Les
notin
2008-12-19
*
Fixed bug in VernacExtend printing + missing vernacular printing rules +
herbelin
2008-11-22
*
Évolutions diverses et variées.
herbelin
2008-08-04
*
Now, -browser option is effective (and compiles)
glondu
2008-07-27
*
(Partially) Revert previous commit because of FTBFS
glondu
2008-07-27
*
Add -browser option to configure script
glondu
2008-07-27
*
Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d...
notin
2008-07-18
*
Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio...
notin
2008-06-25
*
Suppression de l'option -dump-glob et ajout d'une option -no-glob
notin
2008-06-24
[prev]
[next]