coq - The formal proof system

Age	Commit message (Expand)	Author
2015-12-09	Remove remaining occurrences of Unix.readdir.	Guillaume Melquiond
2015-12-09	Replace Unix.readdir by Sys.readdir in dir cache.	Emilio Jesus Gallego Arias
2015-11-26	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-11-25	Fix for case-insensitive path looking continued (#2554): Adding a	Hugo Herbelin
2015-11-25	Generalizing the patch to bug #2554 on fixing path looking with	Hugo Herbelin
2015-10-02	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-09-29	Make the interface of System.raw_extern_intern much saner.	Guillaume Melquiond
2015-09-29	Prevent States.intern_state and System.extern_intern from looking up files in...	Guillaume Melquiond
2015-09-25	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-09-20	Revert "On MacOS X, ensuring that files found in the file system have the"	Maxime Dénès
2015-06-01	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-05-22	Continuing 4b5af0d6e9 and 69941d4e19 about filename case check on MacOS X.	Hugo Herbelin
2015-05-20	Continuing incomplete 4b5af0d6e9ec1 (on MacOS X, ensuring that files	Hugo Herbelin
2015-05-15	On MacOS X, ensuring that files found in the file system have the	Hugo Herbelin
2015-05-05	Merge branch 'v8.5'	Pierre-Marie Pédrot
2015-04-23	Remove almost all the uses of string concatenation when building error messages.	Guillaume Melquiond
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-01-12	Update headers.	Maxime Dénès
2014-12-16	Getting rid of Exninfo hacks.	Pierre-Marie Pédrot
2014-11-27	better to always print the thread id	Enrico Tassi
2014-10-24	-help failing (fix 3762)	Enrico Tassi
2014-09-09	toploop plugins taken into account when printing --help (close: 3535)	Enrico Tassi
2014-09-08	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot
2014-08-05	STM: code restructured to reuse task queue for tactics	Enrico Tassi
2014-07-13	Adding a "time" tactical for benchmarking purposes. In case the tactic	Hugo Herbelin
2014-07-07	Revert "time tac" (committed by mistake).	Hugo Herbelin
2014-07-07	time tac	Hugo Herbelin
2014-01-30	Relaunch all Unix.waitpid when they ended with EINTR	Pierre Letouzey
2014-01-04	.vi files: .vo files without proofs	Enrico Tassi
2013-11-24	Hardening the reading function of vo files.	Pierre-Marie Pédrot
2013-11-07	Partial application hunt.	ppedrot
2013-08-28	Removing some lone List.assoc & List.mem in lib.	ppedrot
2013-08-22	Change in vo format : digest aren't Marshalled anymore	letouzey
2013-03-21	Removing mandatory suffixes for library files.	ppedrot
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey
2013-02-01	v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)	herbelin
2013-01-28	Actually adding backtrace handling.	ppedrot
2012-11-22	Monomorphization (lib)	ppedrot
2012-11-13	More monomorphizations	ppedrot
2012-10-05	More accurate timings for "Time foo"	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-18	More cleanup of Util: utf8 aspects moved to a new file unicode.ml	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2012-06-01	Getting rid of Pp.msgnl and Pp.message.	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2012-03-02	Noise for nothing	pboutill
2011-11-20	coqrc in the right XDG_CONFIG_HOME/coq folder	pboutill