coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...	ppedrot	2012-04-24
*	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
*	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
*	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
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	Coqide input encoding preference is an algebraic type.	pboutill	2012-04-14
*	Coqide Proofview scroll	pboutill	2012-04-14
*	Browser documentation & CharSet under Windows	pboutill	2012-04-13
*	Coqide minor enhancements	pboutill	2012-04-12
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
*	Added a reset button for CoqIDE colors	ppedrot	2012-04-11
*	Added a background color configuration option in CoqIDE.	ppedrot	2012-04-11
*	Reversed colour highlight in CoqIDE	ppedrot	2012-04-04
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	A unified backtrack mechanism, with a basic "Show Script" as side-effect	letouzey	2012-03-23
*	Remove old proof-managment commands Suspend/Resume	letouzey	2012-03-23
*	Ide: sentences found by find_phrase_starting_at should be nonempty (fix #2683)	letouzey	2012-02-22
*	More information returned by coqtop about its internal state. Hopefully we'll...	ppedrot	2012-02-02
*	CoqIde files position is freedesktop compliant.	pboutill	2011-12-18
*	Coq_makefile: if no -install is provided, install location is set by a Makefi...	pboutill	2011-12-17
*	Coqide: adapt some comments now that bullets are terminators like { }	letouzey	2011-12-16
*	Adapting coqide to my last commit:	courtieu	2011-12-16
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	Typo	pboutill	2011-12-07
*	Fixed a synchronization bug between coqtop and the CoqIDE command pane.	ppedrot	2011-12-06
*	Fixed a bug introduced in r12755. CoqIDE would ignore the Printing Existentia...	ppedrot	2011-11-30
*	Now CoqIDE relies on the option query mechanism to set printing options. Stil...	ppedrot	2011-11-30
*	Separated the toplevel interface into a purely declarative module with associ...	ppedrot	2011-11-25
*	coqide default pref files are by default in /etc/xdg/coq/	pboutill	2011-11-21
*	coqide-gtk2rc not dotted	pboutill	2011-11-20
*	CoqIdE configuration file won't pollute your home anymore	pboutill	2011-11-20
*	Teach coq_makefile how to install into XDG_DATA_HOME.	pboutill	2011-11-20
*	Return of the tactic hints features in CoqIDE.	ppedrot	2011-11-18
*	Making status info better in CoqIDE: path and name of current lemma	ppedrot	2011-11-18
*	Now Coqtop has a richer way to answer a query about its pending goals. Answer...	ppedrot	2011-11-18
*	Replaced goal api call with a proper structure. This disables menu hints in C...	ppedrot	2011-11-18
*	Coqide -debug only printed Coqtop information.	pboutill	2011-11-18
*	Also sprach CoqIDE (in XML)	ppedrot	2011-11-06
*	Fix configuration box bug in recursive call	pboutill	2011-10-26
*	Coq_makefile handles .mlpack files	pboutill	2011-10-26