coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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