coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Remove some unused functions.	Guillaume Melquiond	2016-01-02
*	Remove some useless module opening.	Guillaume Melquiond	2016-01-02
*	Avoid warnings about loop indices.	Guillaume Melquiond	2016-01-02
*	Fix typos.	Guillaume Melquiond	2016-01-01
*	Remove unused hashconsing code.	Guillaume Melquiond	2016-01-01
*	Do not make it harder on the compiler optimizer by packing arguments.	Guillaume Melquiond	2016-01-01
*	Merge branch 'v8.5' into trunk	Guillaume Melquiond	2015-12-31
\|\
* \|	Do not compose List.length with List.filter.	Guillaume Melquiond	2015-12-31
\| *	Do not dump a glob reference when its location is ghost. (Fix bug #4469)	Guillaume Melquiond	2015-12-31
* \|	Removing the special status of open_constr generic argument.	Pierre-Marie Pédrot	2015-12-28
* \|	Finer-grained types for toplevel values.	Pierre-Marie Pédrot	2015-12-21
* \|	Removing ad-hoc interpretation rules for tactic notations and their genarg.	Pierre-Marie Pédrot	2015-12-21
* \|	Sharing toplevel representation for several generic types.	Pierre-Marie Pédrot	2015-12-21
* \|	Removing the now useless genarg generic argument.	Pierre-Marie Pédrot	2015-12-21
* \|	Using dynamic values in tactic evaluation.	Pierre-Marie Pédrot	2015-12-21
* \|	Attaching a dynamic argument to the toplevel type of generic arguments.	Pierre-Marie Pédrot	2015-12-21
* \|	Trust the directory cache in batch mode.	Guillaume Melquiond	2015-12-21
* \|	COMMENTS: added to the "Unicode" module.	Matej Kosik	2015-12-18
* \|	COMMENTS: updated in the "Option" module.	Matej Kosik	2015-12-18
* \|	COMMENTS: added to the "Predicate" module	Matej Kosik	2015-12-18
\| *	spawn: fix leak of file descriptors	Enrico Tassi	2015-12-17
* \|	Getting rid of some hardwired generic arguments.	Pierre-Marie Pédrot	2015-12-17
* \|	Adding compatibility flag for 8.5.	Hugo Herbelin	2015-12-14
* \|	Remove some occurrences of Unix.opendir.	Guillaume Melquiond	2015-12-14
* \|	Removing dead unsafe code in Genarg.	Pierre-Marie Pédrot	2015-12-12
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-12-11
\|\\|
\| *	Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removing	Hugo Herbelin	2015-12-10
\| *	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-12-09
* \|	Factorizing unsafe code by relying on the new Dyn module.	Pierre-Marie Pédrot	2015-12-05
* \|	Leveraging GADTs to provide a better Dyn API.	Pierre-Marie Pédrot	2015-12-05
* \|	Specializing the Dyn module to each usecase.	Pierre-Marie Pédrot	2015-12-04
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-11-26
\|\\|
\| *	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-11-25
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-19
\|\\|
\| *	Fixed #4274, bad formatting of messages in emacs mode.	Pierre Courtieu	2015-10-19
\| *	Miscellaneous typos, spacing, US spelling in comments or variable names.	Hugo Herbelin	2015-10-18
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-15
\|\\|
\| *	Fix some typos.	Guillaume Melquiond	2015-10-14
\| *	Fix some typos.	Guillaume Melquiond	2015-10-13
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-09
\|\\|
\| *	aux_file: export API to ease writing of a Proof Using annotator.	Enrico Tassi	2015-10-08
\| *	CThread: blocking read + threads now works	Enrico Tassi	2015-10-08
\| *	Spawn: use each socket exclusively for writing or reading	Enrico Tassi	2015-10-08
\| *	Future: make not-here/not-ready messages customizable	Enrico Tassi	2015-10-08
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-10-02
\|\\|
\| *	emacs output mode: Added <infomsg> tag to debug messages.	Pierre Courtieu	2015-10-02
\| *	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-29