coq - The formal proof system

Age	Commit message (Expand)	Author
2015-05-15	On MacOS X, ensuring that files found in the file system have the	Hugo Herbelin
2015-05-15	Merge v8.5 into trunk	Hugo Herbelin
2015-05-14	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-05	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-05-04	Add a [Redirect] vernacular command	Clément Pit--Claudel
2015-04-23	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond
2015-04-23	Removing dead code in Pp.	Pierre-Marie Pédrot
2015-04-22	Pp: obsolete comment.	Arnaud Spiwack
2015-04-22	Do not use list concatenation when gluing streams together, just mark them as...	Guillaume Melquiond
2015-04-21	STM: print trace on "anomaly, no safe id attached"	Enrico Tassi
2015-03-23	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-03-16	Adding a primitive to dump the current association table of dynamic types.	Pierre-Marie Pédrot
2015-02-26	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-02-26	Fixing printing of ordinals.	Pierre-Marie Pédrot
2015-02-24	New function [Constr.equal_with] to compare terms up to variants of [kind_of_...	Arnaud Spiwack
2015-02-23	Merge branch 'v8.5' into trunk	Enrico Tassi
2015-02-23	Fix some typos in comments.	Guillaume Melquiond
2015-02-23	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-02-21	Future: human readable name for delegated (Close #4065)	Enrico Tassi
2015-02-16	Using same code for browsing physical directories in coqtop and coqdep.	Hugo Herbelin
2015-02-12	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-11	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-02-11	Adding a statistic function on hashconsing tables.	Pierre-Marie Pédrot
2015-02-10	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-02-07	Fixing bug #4009.	Pierre-Marie Pédrot
2015-02-06	More efficient Richpp.	Pierre-Marie Pédrot
2015-02-05	Marshal.from_string on 32 bit systems use tmpfile if needed (Close: 3968)	Enrico Tassi
2015-02-04	More efficient implementation of Richpp.	Pierre-Marie Pédrot
2015-02-04	CThread: workaround for threads lockup on windwos made more aggressive	Enrico Tassi
2015-02-02	Removing dead code.	Pierre-Marie Pédrot
2015-01-25	Equipping extended maps with fold operator defined for any monad.	Pierre-Marie Pédrot
2015-01-12	Update headers.	Maxime Dénès
2015-01-12	Fix a few typos.	Maxime Dénès
2015-01-11	Extraction: no more ascii blob in type variables (fix #3227)	Pierre Letouzey
2015-01-10	Adding more sharing in Map.udpate and Map.modify.	Pierre-Marie Pédrot
2015-01-06	Safer version of the implementation of stores.	Pierre-Marie Pédrot
2015-01-06	remove unused iArray	Enrico Tassi
2015-01-06	rename: vi -> vio	Enrico Tassi
2014-12-25	Inlining Spawn.kill_if in the one place were it was actually used, thus	Pierre-Marie Pédrot
2014-12-18	Fixed bad newlines in output for std output and emacs.	Pierre Courtieu
2014-12-17	Ensuring the good invariants of hashcons table generation in the API.	Pierre-Marie Pédrot
2014-12-17	Future: blocking by default	Enrico Tassi
2014-12-17	STM: rename and simplify flags	Enrico Tassi
2014-12-17	Spawn: fix request of Gc statistics	Enrico Tassi
2014-12-17	CThread: use a different type for thread friendly in_channels	Enrico Tassi
2014-12-17	Dyn: add API to check of two Dyn.t are ==	Enrico Tassi
2014-12-16	msg_info now puts infomsg tag in emacs mode.	Pierre Courtieu