coq - The formal proof system

Age	Commit message (Collapse)	Author
2017-11-01	Fix FIXME: use OCaml 4.02 generative functors when available.	Gaëtan Gilbert
	4.02.3 has been the minimal OCaml version for a while now.
2017-10-06	[stm] Switch to a functional API	Emilio Jesus Gallego Arias
	We make the Stm API functional over an opaque `doc` type. This allows to have a much better picture of what the toplevel is doing; now almost all users of STM private data are marked by typing. For now only, the API is functional; a PR switching the internals should come soon thou; however we must first fix some initialization bugs. Due to some users, we modify `feedback` internally to include a "document id" field; we don't expose this change in the IDE protocol yet.
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot

2017-03-21	[stm] Add common toploop for workers.	Emilio Jesus Gallego Arias
	This is a small, but convenient refactoring, as it will allow common argument parsing.
2016-01-20	Update copyright headers.	Maxime Dénès

2015-01-12	Update headers.	Maxime Dénès

2014-11-03	STM: code refactoring	Enrico Tassi
	This is mainly shuffling code around and removing internal refs that are not needed anymore.
2014-10-31	STM: reorganize code and file names	Enrico Tassi
	- proofworkertop to deal with proof tasks - tacworkertop to deal with par: tactics - queryworkertop to deal with queries (next commit)