coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Cleaned the interface of analyzed_view in CoqIDE. A lot of methods	ppedrot	2012-05-01
*	This is a tentative bugfix for the numerous GText.iter erros occuring in CoqIDE.	ppedrot	2012-04-30
*	Fixed an accelerator parsing error in CoqIDE introduced in r15254	ppedrot	2012-04-30
*	Fix make install after emacs mode troll (r15251)	pboutill	2012-04-28
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Coqide MacOS integration refresh	pboutill	2012-04-27
*	Partial revert of r15148 in order to compile with Camlp4	pboutill	2012-04-27
*	Implicit arguments of Definition are taken from the type when given by the user.	pboutill	2012-04-27
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	migration of g_obligations.ml4, ocamlbuild side	letouzey	2012-04-26
*	migrate g_obligations.ml4 in parsing	letouzey	2012-04-26
*	Program: avoid staying in program mode after a failed Program command	letouzey	2012-04-26
*	Avoid unneeded head-normalizations in coercion code.	msozeau	2012-04-25
*	Do not delta-head-normalize the proposition argument of sigma types during co...	msozeau	2012-04-25
*	Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...	ppedrot	2012-04-24
*	remove undocumented and scarcely-used tactic auto decomp	letouzey	2012-04-23
*	Fix ocamlbuild compilation: remove subtac from *.itarget	letouzey	2012-04-23
*	correct abort in Function when a proof of inversion fails	letouzey	2012-04-23
*	Fixed bad gravity of mark that would make CoqIDE loop whenever Replace All wa...	ppedrot	2012-04-23
*	Cleaning a bit previous commit	ppedrot	2012-04-23
*	Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...	ppedrot	2012-04-23
*	Cleaning up widget code and using a naming convention for such files.	ppedrot	2012-04-20
*	Moved queries from command pane to message view.	ppedrot	2012-04-19
*	Supporting optional byte-mark order in utf-8 files (bug #2757).	herbelin	2012-04-19
*	Fixed color refresh of command pane	ppedrot	2012-04-19
*	Fixed the CoqIDE preference width	ppedrot	2012-04-18
*	Fixed an initialization bug of Gtk introduced in r15188 that would lead CoqID...	ppedrot	2012-04-18
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
*	New file in CoqIDE is not ANNOYING anymore.	ppedrot	2012-04-18
*	Corrects a (very) longstanding bug of tactics. As is were, tactic expecting	aspiwack	2012-04-18
*	Adds the openconstr entry for tactic notations.	aspiwack	2012-04-18
*	Corrects a bug in the refine tactic which could drop evar bodies.	aspiwack	2012-04-18
*	Adds a comment: precondition on Evd.add	aspiwack	2012-04-18
*	Better error message in tactic notations.	aspiwack	2012-04-18
*	Two dead functions in Tacmach.	aspiwack	2012-04-18
*	Renamed end-of-proof message by a less disturbing one.	ppedrot	2012-04-18
*	Added a tab changing command in CoqIDE and moved display options around	ppedrot	2012-04-18
*	Fixed bug #2752	ppedrot	2012-04-18
*	Remove the Dp plugin.	gmelquio	2012-04-17
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	Bug 2733 : { } implicits and Fixpoints	pboutill	2012-04-17
*	Fixing a "Not_Found" bug related to commit 15061 on the use of evar candidates.	herbelin	2012-04-16
*	Fixing typo in previous commit r15180.	herbelin	2012-04-15
*	Fixing tauto "special" behavior on singleton types w/ 2 parameters (bug #2680).	herbelin	2012-04-15
*	Update CHANGES	herbelin	2012-04-15
*	Adding newline after warning and restoring distinction between	herbelin	2012-04-15
*	In "intro until" and its applications, be consistent when reduction is	herbelin	2012-04-15
*	Coqide input encoding preference is an algebraic type.	pboutill	2012-04-14
*	Coqide Proofview scroll	pboutill	2012-04-14
*	MSetRBT : implementation of MSets via Red-Black trees	letouzey	2012-04-13