coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix r15259 to get rid of bug 2783	pboutill	2012-05-25
*	Fixed #2769.	ppedrot	2012-05-25
*	Rewritten the handling of coq sentence processing, hopefully being	ppedrot	2012-05-23
*	Fixed #2538 by adding an option to reset coqtop on tab switch, as suggested.	ppedrot	2012-05-23
*	Cleaned prerr_endline use.	ppedrot	2012-05-23
*	Revert copy/pasted function in to minilib thanks to clib.cma	pboutill	2012-05-23
*	Reducing CoqIDE start option queries.	ppedrot	2012-05-23
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Coqide: display initial connection errors in popups instead of on stderr	letouzey	2012-05-15
*	Added semantic completion in CoqIDE. (Should also add an option for that...)	ppedrot	2012-05-13
*	Tweaking options of CoqIDE.	ppedrot	2012-05-13
*	Some cosmetic changes w.r.t. the previous commit.	ppedrot	2012-05-13
*	Heavily rewritten the coqtop management process of coqide. The coqtop	ppedrot	2012-05-13
*	Coqide awful coqtop options parsing fixup	pboutill	2012-05-11
*	Little bit of code refactoring in CoqIDE	ppedrot	2012-05-09
*	End of Gtksourceview switch clean.	pboutill	2012-05-09
*	Removing dead code in CoqIDE made useless by the GtkSourceView switch.	ppedrot	2012-05-08
*	Fixed access to environment variables in CoqIDE. Up to now, those	ppedrot	2012-05-08
*	Rewritten the autocompletion mechanism of CoqIDE, and stuffed it	ppedrot	2012-05-08
*	Renamed Undo to conform to CoqIDE widget naming convention. In addition,	ppedrot	2012-05-05
*	Hack to handle trailing whitespace display in CoqIDE	ppedrot	2012-05-05
*	Added a bunch of new options relative to editor.	ppedrot	2012-05-02
*	Better style handling in CoqIDE	ppedrot	2012-05-02
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Coqide coq lexer put one tag at the end of a sentence.	pboutill	2012-05-02
*	Source language and style are preferences	pboutill	2012-05-02
*	undoable_view is a source_view	pboutill	2012-05-02
*	Fixed #2769	ppedrot	2012-05-02
*	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
*	Coqide MacOS integration refresh	pboutill	2012-04-27
*	Removed a unused and troublesome feature in CoqIDE that handled shortcuts the...	ppedrot	2012-04-24
*	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
*	Cleaning up preferences and hooks in CoqIDE	ppedrot	2012-04-18
*	New file in CoqIDE is not ANNOYING anymore.	ppedrot	2012-04-18
*	Added a tab changing command in CoqIDE and moved display options around	ppedrot	2012-04-18
*	Coqide: the coqtop to launch is a preference.	pboutill	2012-04-17
*	Added a background color configuration option in CoqIDE.	ppedrot	2012-04-11
*	A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.	ppedrot	2012-03-28
*	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
*	Cleaned up a bit goal handling in Coqtop interface. Now we have two queries :...	ppedrot	2011-12-15
*	Fixed a synchronization bug between coqtop and the CoqIDE command pane.	ppedrot	2011-12-06
*	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