coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	[toplevel] Remove exception error printer in favor of feedback printer.	Emilio Jesus Gallego Arias	2017-04-05
*	Merge PR#502: [pp] Add anomaly header to error messages.	Maxime Dénès	2017-04-04
\|\
* \	Merge branch 'v8.6' into trunk	Maxime Dénès	2017-03-24
\|\ \
\| \| *	[pp] Add anomaly header to anomaly error messages.	Emilio Jesus Gallego Arias	2017-03-22
\| \|/ \|/\|
* \|	[pp] Hide the internal representation of `std_ppcmds`.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] [ide] Minor cleanups in pp code.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Move terminal-specific tagging to the toplevel.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove special tag type and handler from Pp.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Debug feeder is not needed anymore.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Make feedback the only logging mechanism.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[error] Move back fatal_error to toplevel	Emilio Jesus Gallego Arias	2017-03-21
* \|	[feedback] Allow to remove feedback listeners.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove redundant white spacing pp construct.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Force well-formed boxes by construction.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Force well-tagged docs by construction.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Implement n-ary glue.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Make pp public to allow serialization.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Prepare for serialization, remove opaque glue.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Remove `Pp.stras`.	Emilio Jesus Gallego Arias	2017-03-21
* \|	[pp] Replace `Pp.Tag` by `Ppstyle.tag` = `string list`	Emilio Jesus Gallego Arias	2017-03-21
* \|	Merge PR#134: Enable `-safe-string`	Maxime Dénès	2017-03-21
\|\ \
\| \| *	[future] Use eager evaluation for chaining values.	Emilio Jesus Gallego Arias	2017-03-20
\| * \|	[safe-string] lib/miscelanea	Emilio Jesus Gallego Arias	2017-03-14
\| * \|	[safe-string] lib/cUnix	Emilio Jesus Gallego Arias	2017-03-14
\| * \|	[safe_string] lib/cThread	Emilio Jesus Gallego Arias	2017-03-14
* \| \|	[future] Remove unused parameter greedy.	Emilio Jesus Gallego Arias	2017-03-14
\|/ /
* \|	Merge PR#189: Remove tabulation support from pretty-printing.	Maxime Dénès	2017-02-20
\|\ \
* \| \|	[unicode] Address comments in PR#314.	Emilio Jesus Gallego Arias	2017-02-15
* \| \|	[safe-string] Use `String.init` to build string.	Emilio Jesus Gallego Arias	2017-02-14
* \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-02-01
\|\ \ \ \| \| \|/ \| \|/\|
* \| \|	Merge PR#355: Remove unused feedback_content: Goals	Maxime Dénès	2017-01-30
\|\ \ \
\| \| * \	Merge PR#383: fix #5244: set printing width ignored when given enough space	Maxime Dénès	2017-01-24
\| \| \|\ \
* \| \| \ \	Merge branch 'v8.6'	Pierre-Marie Pédrot	2017-01-19
\|\ \ \ \ \ \| \| \|/ / / \| \|/\| \| \|
\| * \| \| \|	Fix race condition in STM DAG generation (in debug mode).	Maxime Dénès	2017-01-13
\| * \| \| \|	Fix broken .aux machinery.	Guillaume Melquiond	2017-01-13
* \| \| \| \|	Avoid using the deprecated Scanf.fscanf function.	Maxime Dénès	2017-01-09
* \| \| \| \|	Merge remote-tracking branch 'github/pr/351' into trunk	Maxime Dénès	2016-12-19
\|\ \ \ \ \
* \ \ \ \ \	Merge remote-tracking branch 'github/pr/363' into trunk	Maxime Dénès	2016-12-19
\|\ \ \ \ \ \
\| \| \| \| \| * \|	[pp] Set printing width for richpp formatter (bug #5244)	Emilio Jesus Gallego Arias	2016-12-04
\| \| \| \| \|/ / \| \| \| \|/\| \|
* \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-30
\|\ \ \ \ \ \ \| \| \|_\|/ / / \| \|/\| \| \| \|
\| * \| \| \| \|	Fix #5183 - Two CoqIDE crash errors	Maxime Dénès	2016-11-30
\| * \| \| \| \|	Fix some documentation typos.	Guillaume Melquiond	2016-11-24
* \| \| \| \| \|	Merge branch 'v8.6'	Pierre-Marie Pédrot	2016-11-18
\|\\| \| \| \| \|
\| \| * \| \| \|	lib/Unicodetable: Update. This code has been generated from the latest	Yann Régis-Gianas	2016-11-16
\| * \| \| \| \|	Fix bug in warnings: -w foo was silent when foo did not exist.	Maxime Dénès	2016-11-14
\| \| \| \| * \|	Remove unused feedback_content: Goals	CJ Bell	2016-11-10
\| \|_\|_\|/ / \|/\| \| \| \|
\| \| \| * \|	Complete a truncated comment	Arnaud Spiwack	2016-11-08
\| \|_\|/ / \|/\| \| \|
\| * \| \|	Removing a special treatment for empty lines in comments.	Hugo Herbelin	2016-11-05
\| * \| \|	Fix #4837: ./configure -local makes coqdep issue many warnings	Maxime Dénès	2016-11-04
\| * \| \|	Remove an OCaml 4.02 construct.	Maxime Dénès	2016-11-03