coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Better encapsulation of MessageView	ppedrot	2013-03-20
*	Using ML signalling in CoqIDE	ppedrot	2013-03-19
*	Adding color for warnings in CoqIDE	ppedrot	2013-03-19
*	CoqIDE: Add TAB key to autocomplete	ppedrot	2013-02-25
*	Tentative heuristic fix to handle lexer failures from CoqIDE when	ppedrot	2013-02-22
*	Cosmetic changes to CoqIDE finder widget.	ppedrot	2013-02-22
*	Fixing an annoying bug in CoqIDE which causes the very first line	ppedrot	2013-02-20
*	Fixing #2763	ppedrot	2013-02-20
*	More handling of scrollbars in CoqIDE completion	ppedrot	2013-02-20
*	CoqIDE: Including autocompletion in word proposals	ppedrot	2013-02-20
*	Adding scrollbars to CoqIDE autocompletion	ppedrot	2013-02-20
*	New autocompletion mechanism in CoqIDE. Now provides many answers	ppedrot	2013-02-19
*	CoqIDE: Adding escape reaction to replace widget	ppedrot	2013-02-13
*	Fixing autocompletion lock in CoqIDE	ppedrot	2013-02-13
*	updating ide/coq documentation	ppedrot	2013-01-26
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Uniformization of Coq tasks	ppedrot	2013-01-26
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
*	Better Undo/Redo mechanism	ppedrot	2013-01-25
*	Trying to fix CoqIDE undo/redo mechanism	ppedrot	2013-01-25
*	Fixing autocompletion in CoqIDE	ppedrot	2013-01-25
*	Fixup last commit	ppedrot	2013-01-25
*	Hugo request: CoqIDE find on enter	ppedrot	2013-01-25
*	Coqide: limit read buffer size to 4096 (pipe size in win32)	letouzey	2013-01-23
*	Coqide: avoid potentially blocking read on coqtop channel	letouzey	2013-01-22
*	Coq_makefile: -extra & -phony-extra for user defined makefile rule	pboutill	2013-01-07
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	GtkData.set_default_modifiers and no access to <primary> in lablgtk -> unsuab...	pboutill	2012-12-19
*	Fixing CoqIDE compilation	ppedrot	2012-12-14
*	Moved Stringset and Stringmap to String namespace.	ppedrot	2012-12-14
*	Wg_ScriptView: avoid invalid iters during completion	letouzey	2012-12-11
*	Coqide: allow editing even during a backtrack	letouzey	2012-12-11
*	Coq_lex: direct accounting of utf8 extra bytes in offsets	letouzey	2012-12-11
*	Coqide: restore the tag removal of copy-pasted zones	letouzey	2012-12-10
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Tiny fix of r16049	pboutill	2012-12-10
*	Coqide: use labels for all labelled functions	letouzey	2012-12-08
*	Coqide: handle possible fragmentation in xml answers	letouzey	2012-12-08
*	Coqide: get rid of threads, use gtk asynchronous i/o instead	letouzey	2012-12-08
*	Coqide: more cleanup (buffers)	letouzey	2012-12-07
*	Coqide: stylistic improvements in analyzed_view initializer	letouzey	2012-12-07
*	Coqide: cleanup concerning insert_text signal	letouzey	2012-12-07
*	Nicer code around Coq_lex	letouzey	2012-12-07
*	Ideutils: simpler conversion from byte offset to utf8 char offset	letouzey	2012-12-07
*	Coqide: missing arg when calling process_next_phrase	letouzey	2012-12-07
*	Coqide: minor cleanup around tag_on_insert	letouzey	2012-12-07
*	Coqide: better removal of the error red tag	letouzey	2012-12-07
*	Coqide: better handling of gtk messages + fix win32 stdout/stderr rerouting	letouzey	2012-12-07
*	Coqide: no reason to ignore Ctrl-C	letouzey	2012-12-07
*	Coqide: use "prefs" ident instead of "current" (vague when unqualified)	letouzey	2012-12-07