coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fixed an error display bug in CoqIDE.	ppedrot	2012-05-29
*	Bugs revealed by playing with contribs	pboutill	2012-05-25
*	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
*	Fixed #2782.	ppedrot	2012-05-23
*	Reducing CoqIDE start option queries.	ppedrot	2012-05-23
*	Minilib: Always add the Coq_config.dirs to xdg_dirs (again)	letouzey	2012-05-22
*	Fixed bug #2781... (We hope so.)	ppedrot	2012-05-16
*	Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.	ppedrot	2012-05-16
*	Coqide: make some paths win32-compliant	letouzey	2012-05-16
*	Revert commit 15287 : the env variables are indeed access at launch-time	letouzey	2012-05-16
*	Coqide: minor formatting improvement of an error message	letouzey	2012-05-15
*	Coqide: in win32 command given to cmd.exe should be more quoted	letouzey	2012-05-15
*	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
*	Cleanly rewritten the undo manager, which did not support redo and had	ppedrot	2012-05-06
*	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
*	Fixed previous commit	ppedrot	2012-05-02
*	Removed the useless use of a reference in preference handling.	ppedrot	2012-05-02
*	Quick workaround to handle badly designed Sourceview package.	ppedrot	2012-05-02
*	Coqide highligthing is back (done by gtksourceview).	pboutill	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
*	Always add the Coq_config.dirs to xdg_dirs	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
*	Configure asks for lablgtk >= 2.12 with gtksourceview2	pboutill	2012-04-27
*	Coqide MacOS integration refresh	pboutill	2012-04-27
*	Removed the quasi-useless gtk2rc file and the documentation that went with it...	ppedrot	2012-04-27
*	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