coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	STM: encapsulate Pp.message in Feedback.feedback	Carst Tankink	2014-08-04
*	Pp: only one default feedback id	Enrico Tassi	2014-07-29
*	make the standard logging facility stm aware	Enrico Tassi	2014-07-11
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Fix output test-suite 'simpl tactic' -> 'reduction tactics'	Pierre Boutillier	2014-02-28
*	Tracking memory misallocation by trying to improve sharing.	Pierre-Marie Pédrot	2014-02-03
*	Do not compute formatter UTF8 length at creation time.	ppedrot	2013-11-08
*	Some more hand-written comparison functions to avoid polymorphic comparison.	xclerc	2013-10-14
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Fixing #3042	ppedrot	2013-05-23
*	Fixing Pp.strbrk which was reversing words.	ppedrot	2013-05-16
*	std_ppcmds is persistent, errors can be printed twice	gareuselesinge	2013-05-16
*	Uniformizing the [if_warn] flag used for warning printing and put	ppedrot	2013-05-08
*	Coqide: new feedback mechanism for structured content	gareuselesinge	2013-04-25
*	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey	2013-03-13
*	Updating the backtrace handling mechanism to accomodate the new	ppedrot	2013-02-18
*	Actually adding backtrace handling.	ppedrot	2013-01-28
*	Removed a unused function in Pp	ppedrot	2012-12-08
*	Monomorphized a lot of equalities over OCaml integers, thanks to	ppedrot	2012-11-08
*	lib/Pp:	regisgia	2012-09-14
*	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia	2012-09-14
*	Made Pp.std_ppcmds opaque.	ppedrot	2012-09-13
*	Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5	ppedrot	2012-09-10
*	reparation du make depend et du .depend	letouzey	2001-12-19
*	compat ocaml 3.03	filliatr	2001-12-13
*	entetes	filliatr	2001-03-15
*	Use UTF-8 as default encoding for computing length of strings in pretty	miquel	2000-10-19
*	Initial revision	filliatr	1999-08-16