index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
coqtop.ml
Commit message (
Expand
)
Author
Age
*
[stm] Switch to a functional API
Emilio Jesus Gallego Arias
2017-10-06
*
[stm] [flags] Move document mode flags to the STM.
Emilio Jesus Gallego Arias
2017-10-06
*
[coqtop] Don't reset coqinit internal variables after initialization.
Emilio Jesus Gallego Arias
2017-10-06
*
Merge PR #1069: Improve support for -w options
Maxime Dénès
2017-10-05
|
\
*
\
Merge PR #1070: Remove remaining occurrences of -just-parsing.
Maxime Dénès
2017-09-22
|
\
\
|
*
|
Remove remaining occurrences of -just-parsing.
Guillaume Melquiond
2017-09-21
|
|
*
Handle multiple -w options on command line (bug #5736).
Guillaume Melquiond
2017-09-21
|
|
/
*
/
[flags] Flag `open Flags`
Emilio Jesus Gallego Arias
2017-09-20
|
/
*
Merge PR #937: [general] Remove spurious dependency of highparsing on toplevel.
Maxime Dénès
2017-08-29
|
\
*
|
[flags] Remove XML output flag.
Emilio Jesus Gallego Arias
2017-08-01
*
|
Merge PR #917: Moving --print-version to -print-version for consistency.
Maxime Dénès
2017-08-01
|
\
\
|
|
*
[general] Remove spurious dependency of highparsing on toplevel.
Emilio Jesus Gallego Arias
2017-07-31
*
|
|
[toplevel] Remove long ago deprecated and NOOP options.
Emilio Jesus Gallego Arias
2017-07-27
|
|
/
|
/
|
*
|
Merge PR #902: Only perform profile initialization and printing when the flag...
Maxime Dénès
2017-07-26
|
\
\
|
|
*
Adding -print-version in addition to -print-version for consistency.
Hugo Herbelin
2017-07-25
*
|
|
Adding a V8.7 compatibility version number.
Hugo Herbelin
2017-07-21
|
|
/
|
/
|
|
*
Also a less intrusive Profile.init_profile.
Hugo Herbelin
2017-07-20
|
/
*
Adding support for bindings tags to explicit prefix/suffix rather than colors.
Hugo Herbelin
2017-07-08
*
Bump year in headers.
Pierre-Marie Pédrot
2017-07-04
*
Add support for Coq 8.6.
Guillaume Melquiond
2017-06-14
*
Remove support for Coq 8.4.
Guillaume Melquiond
2017-06-14
*
Add a version to be used when parsing compatibility notations mentioning old ...
Guillaume Melquiond
2017-06-14
*
Add support for "-bypass-API" argument of "coq_makefile"
Matej Košík
2017-06-12
*
[emacs] [toplevel] Make emacs flag local to the toplevel.
Emilio Jesus Gallego Arias
2017-06-01
*
[cleanup] Unify all calls to the error function.
Emilio Jesus Gallego Arias
2017-05-27
*
Merge PR#645: [stm] Tweak debug options.
Maxime Dénès
2017-05-25
|
\
*
\
Merge PR#406: coq makefile2
Maxime Dénès
2017-05-25
|
\
\
*
\
\
Merge branch 'trunk' into located_switch
Emilio Jesus Gallego Arias
2017-05-24
|
\
\
\
|
|
*
|
Usage.print_config moved to Envars
Enrico Tassi
2017-05-23
|
|
/
/
|
|
*
[stm] Tweak debug options.
Emilio Jesus Gallego Arias
2017-05-18
|
*
|
[toplevel] [stm] Avoid edit_at in batch mode (bug #5520)
Emilio Jesus Gallego Arias
2017-05-18
|
|
/
|
*
coqtop -help: don't die if coqlib can't be found
Gaetan Gilbert
2017-05-05
|
*
Adding an option "Printing Unfocused".
Pierre Courtieu
2017-05-04
|
*
Fix omitted labels in function calls
Gaetan Gilbert
2017-04-27
|
*
[toplevel] Use exception information for error printing.
Emilio Jesus Gallego Arias
2017-04-25
*
|
[location] Remove Loc.ghost.
Emilio Jesus Gallego Arias
2017-04-25
|
/
*
Merge PR#579: [flags] Deprecate is_silent/is_verbose in favor of single flag.
Maxime Dénès
2017-04-24
|
\
|
*
[flags] Deprecate is_silent/is_verbose in favor of single flag.
Emilio Jesus Gallego Arias
2017-04-21
*
|
[toplevel] Fix printing of parsing errors + corner case.
Emilio Jesus Gallego Arias
2017-04-19
|
/
*
Merge PR#441: Port Toplevel to the Stm API
Maxime Dénès
2017-04-12
|
\
|
*
[toplevel] [stm] cleanup in module open
Emilio Jesus Gallego Arias
2017-04-12
|
*
[vernac] vernacentries.mli cleanup
Emilio Jesus Gallego Arias
2017-04-12
|
*
[stm] Port the toplevel to the STM.
Emilio Jesus Gallego Arias
2017-04-12
*
|
[toplevel] Remove the feedback feeder printing only on exit.
Emilio Jesus Gallego Arias
2017-04-07
|
/
*
[toplevel] Remove exception error printer in favor of feedback printer.
Emilio Jesus Gallego Arias
2017-04-05
*
Merge PR#390: Updates to the Pretty Printing Infrastructure
Maxime Dénès
2017-03-22
|
\
|
*
[pp] Move terminal-specific tagging to the toplevel.
Emilio Jesus Gallego Arias
2017-03-21
|
*
[pp] Remove special tag type and handler from Pp.
Emilio Jesus Gallego Arias
2017-03-21
|
*
[pp] Make feedback the only logging mechanism.
Emilio Jesus Gallego Arias
2017-03-21
|
*
[error] Move back fatal_error to toplevel
Emilio Jesus Gallego Arias
2017-03-21
[next]