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
*
Remove -vm flag of coqtop.
Maxime Dénès
2015-10-14
*
Code cleaning in VM (with Benjamin).
Maxime Dénès
2015-10-09
*
Spawn: use each socket exclusively for writing or reading
Enrico Tassi
2015-10-08
*
Prevent States.intern_state and System.extern_intern from looking up files in...
Guillaume Melquiond
2015-09-29
*
Remove some uses of Loadpath.get_paths.
Guillaume Melquiond
2015-09-29
*
Make -load-vernac-object respect the loadpath.
Guillaume Melquiond
2015-09-28
*
The -require option now accepts a logical path instead of a physical one.
Pierre-Marie Pédrot
2015-09-25
*
For convenience, making yes and on, and no and off synonymous in
Hugo Herbelin
2015-08-02
*
Option -type-in-type: added support in checker and making it contaminating
Hugo Herbelin
2015-07-10
*
Moved fatal_error from Coqtop to Errors and corrected dependencies accordingly.
Thomas Sibut-Pinote
2015-06-25
*
when OCAML_GC_STATS points to a filepath, write Gc stats into it
Gabriel Scherer
2015-06-24
*
Warning are enabled by default in interactive mode.
Pierre-Marie Pédrot
2015-06-23
*
Flag -test-mode intended to be used for ad-hoc prints in test-suite
Enrico Tassi
2015-05-29
*
Uncaught exception termination exits coqtop with the anomaly errno.
Pierre-Marie Pédrot
2015-05-18
*
Disabling colors when tERM variable is "dumb".
Pierre Courtieu
2015-05-18
*
The -list-tag options now prints the corresponding COQ_COLORS value.
Pierre-Marie Pédrot
2015-05-14
*
Adding an option -w to control Coq warning output.
Pierre-Marie Pédrot
2015-05-14
*
Disable precompilation for native_compute by default.
Guillaume Melquiond
2015-05-14
*
Remove almost all the uses of string concatenation when building error messages.
Guillaume Melquiond
2015-04-23
*
Remove Mltop.add_path as it is no longer possible to import files from subdir...
Guillaume Melquiond
2015-04-02
*
Removing references to deprecated syntax -I/-R -as.
Pierre-Marie Pédrot
2015-03-31
*
Revert "Using same code for browsing physical directories in coqtop and coqdep."
Hugo Herbelin
2015-02-12
*
Using same code for browsing physical directories in coqtop and coqdep.
Hugo Herbelin
2015-02-12
*
spit module path using / as directory separator
Enrico Tassi
2015-02-03
*
Make -print-mod-uid accept a list of files.
Maxime Dénès
2015-01-15
*
Made -print-mod-uid more silent and robust.
Maxime Dénès
2015-01-13
*
Update headers.
Maxime Dénès
2015-01-12
*
rename: vi -> vio
Enrico Tassi
2015-01-06
*
STM: rename and simplify flags
Enrico Tassi
2014-12-17
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
*
async_queries_* merged with async_proofs_*
Enrico Tassi
2014-11-27
*
Feedback: API cleaned up, documented and made user extensible
Enrico Tassi
2014-11-27
*
Plugging console highlighting in for toplevel and compilation error messages.
Pierre-Marie Pédrot
2014-11-24
*
For consistency with other coqtop flags, use -help rather than --help in usage.
Hugo Herbelin
2014-11-16
*
Adding a command line option to print out accepted color tags.
Pierre-Marie Pédrot
2014-11-15
*
Reworking the -color flag of coqtop.
Pierre-Marie Pédrot
2014-11-15
*
Plugging the color initialization in the Coqtop loop.
Pierre-Marie Pédrot
2014-11-15
*
Exit with code 129 when an anomaly occurs.
Xavier Clerc
2014-11-14
*
STM: new worker for queries
Enrico Tassi
2014-10-31
*
Undo prints only if coqtop || emacs
Enrico Tassi
2014-09-16
*
Providing a -type-in-type option for collapsing the universe hierarchy.
Hugo Herbelin
2014-09-13
*
Load Prelude.vi if not Prelude.vo is found (Close: 3595)
Enrico Tassi
2014-09-09
*
toploop plugins taken into account when printing --help (close: 3535)
Enrico Tassi
2014-09-09
*
Removing dead code relative to the XML plugin.
Pierre-Marie Pédrot
2014-09-08
*
coqworkmgr
Enrico Tassi
2014-09-02
*
Removing documentation related to the deprecated State machinery.
Pierre-Marie Pédrot
2014-08-16
*
STM: new "par:" goal selector, like "all:" but in parallel
Enrico Tassi
2014-08-05
*
STM: code restructured to reuse task queue for tactics
Enrico Tassi
2014-08-05
*
STM: let toploop plugins specify the flags for STM workers
Enrico Tassi
2014-07-11
*
STM: flag to turn off branch reopening
Enrico Tassi
2014-07-11
[next]