coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	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
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-25
\|\\|
* \|	Rich printing of messages.	Pierre-Marie Pédrot	2015-09-20
* \|	Adding rich printing primitives.	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-09-20
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-09-13
\|\\|
\| *	Fixing previous patch.	Pierre-Marie Pédrot	2015-09-10
\| *	Fixing the XML lexer definition of names to match the standard.	Pierre-Marie Pédrot	2015-09-10
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-08-22
\|\\|
\| *	Revert the four previous commits and update the description of Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	More invariants in Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	More parametric type for generalized XML.	Pierre-Marie Pédrot	2015-08-15
\| *	Statically ensure that we omit null annotations in Richpp.	Pierre-Marie Pédrot	2015-08-15
\| *	Fixing richpp behaviour w.r.t. its specification.	Pierre-Marie Pédrot	2015-08-15
\| *	Reverting 16 last commits, committed mistakenly using the wrong push command.	Hugo Herbelin	2015-08-02
\| *	A patch renaming equal into eq in the module dealing with	Hugo Herbelin	2015-08-02
* \|	Merge branch 'v8.5'	Pierre-Marie Pédrot	2015-07-29
\|\\|
\| *	Fixing bug #4281: Better escaping of XML attributes.	Pierre-Marie Pédrot	2015-07-28
\| *	Use open_utf8_file_in for opening files in the IDE. (Fix bug #2874)	Guillaume Melquiond	2015-07-28