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
*
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
*
Feedback: LoadedFile + Goals
Enrico Tassi
2014-07-11
*
option to always delegate futures to workers
Enrico Tassi
2014-07-10
*
all coqide specific files moved into ide/
Enrico Tassi
2014-06-25
*
cut toploop(s) out of coqtop: now they are loaded dynamically
Enrico Tassi
2014-06-25
*
Deprecate useless option -quality.
Guillaume Melquiond
2014-06-13
*
Deprecate useless option -unsafe.
Guillaume Melquiond
2014-06-13
*
Deprecate options -dont, -lazy, -force-load-proofs.
Guillaume Melquiond
2014-06-13
*
This commit adds full universe polymorphism and fast projections to Coq.
Matthieu Sozeau
2014-05-06
*
Removing dead code, thanks to new OCaml warnings and a bit of scripting.
Pierre-Marie Pédrot
2014-04-23
*
Have the feedback bus as a backend for dumping globs.
Carst Tankink
2014-04-10
*
Add an option -Q (tentative name).
Guillaume Melquiond
2014-04-08
*
Change handling of loadpath and mlpath.
Guillaume Melquiond
2014-04-06
*
vi2vo: new flag -schedule-vi2vo
Enrico Tassi
2014-02-26
*
New compilation mode -vi2vo
Enrico Tassi
2014-02-26
*
-schedule-vi-checking ported to spawn
Enrico Tassi
2014-01-26
*
break > 80 cols line
Enrico Tassi
2014-01-26
*
CoqIDE: ported to spawn
Enrico Tassi
2014-01-26
*
-schedule-vi-checking generates better script
Enrico Tassi
2014-01-14
*
Paral-ITP: cleanup of command line flags and more conservative default
Enrico Tassi
2014-01-05
*
coqtop: -check-vi-tasks and -schedule-vi-checking
Enrico Tassi
2014-01-05
*
.vi files: .vo files without proofs
Enrico Tassi
2014-01-04
*
Adding a finer-grained -bt flag to coqtop only triggering backtraces.
Pierre-Marie Pédrot
2013-12-22
*
A few fixes to the build system (mostly for ocamlbuild)
Pierre Letouzey
2013-12-16
*
Fix CoqIDE on windows
Enrico Tassi
2013-12-10
*
New option --help-XML-protocol to document the XML procol used by -ideslave
Enrico Tassi
2013-11-27
*
coqtop: init STM before loading rcfile
gareuselesinge
2013-10-07
*
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
*
Made the filename of compiled files explicit, i.e. add a ./ prefix
ppedrot
2013-09-19
*
Misc changes around coqtop.ml :
letouzey
2013-08-22
*
Safe_typing code refactoring
letouzey
2013-08-20
*
stm: (initial) support for -coq-slaves
gareuselesinge
2013-08-08
*
enhance marshallable option for freeze (minor TODO in safe_typing)
gareuselesinge
2013-08-08
*
State Transaction Machine
gareuselesinge
2013-08-08
*
States: frozen states can hold closures
gareuselesinge
2013-05-06
*
Flag ide_slave moved into Flags module
gareuselesinge
2013-04-25
*
minor cleanup in coqtop.ml
letouzey
2013-04-23
*
Coqtop -compile : avoid saving init state when compiling just one file
letouzey
2013-04-23
*
Remove deprecated option -no-hash-consing (currently doing nothing)
letouzey
2013-04-23
*
Revised infrastructure for lazy loading of opaque proofs
letouzey
2013-04-02
*
Restrict (try...with...) to avoid catching critical exn (part 13)
letouzey
2013-03-13
*
Dir_path --> DirPath
letouzey
2013-02-19
*
Minor code cleanups, especially take advantage of Dir_path.is_empty
letouzey
2013-02-18
*
Fixed parsing of -no-native-compiler flag.
mdenes
2013-01-24
*
Modulification of dir_path
ppedrot
2012-12-14
[next]