index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
flags.mli
Commit message (
Expand
)
Author
Age
*
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-05-06
*
Change handling of loadpath and mlpath.
Guillaume Melquiond
2014-04-06
*
New compilation mode -vi2vo
Enrico Tassi
2014-02-26
*
CoqIDE: command line for extra coqtop "flags"
Enrico Tassi
2014-01-26
*
Paral-ITP: cleanup of command line flags and more conservative default
Enrico Tassi
2014-01-05
*
.vi files: .vo files without proofs
Enrico Tassi
2014-01-04
*
Fix CoqIDE on windows
Enrico Tassi
2013-12-10
*
STM: add options to disable fallbacks to ease regression testing
gareuselesinge
2013-10-03
*
STM: number of slaves passed by the command line
gareuselesinge
2013-10-03
*
stm: (initial) support for -coq-slaves
gareuselesinge
2013-08-08
*
Simple machinery to detect EXTEND that interpret during parsing
gareuselesinge
2013-08-08
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
State Transaction Machine
gareuselesinge
2013-08-08
*
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
*
New implementation of the conversion test, using normalization by evaluation to
mdenes
2013-01-22
*
Updating headers.
herbelin
2012-08-08
*
Notation: a new annotation "compat 8.x" extending "only parsing"
letouzey
2012-07-05
*
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
*
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
*
* 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
*
New script dev/tools/change-header to automatically update Coq files headers.
herbelin
2010-06-22
*
Remove the svn-specific $Id$ annotations
letouzey
2010-04-29
*
Move from ocamlweb to ocamdoc to generate mli documentation
pboutill
2010-04-29
*
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
*
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
*
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
*
- Add -unicode flag to coqtop (sets Flags.unicode_syntax). Used to
msozeau
2008-05-12
*
Suite 10904 (fichiers oubliés)
herbelin
2008-05-08
[next]