coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	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
*	Coqide: opening non-existing files won't create them immediately anymore	letouzey	2012-12-07
*	Coqide: nicer creation of timers	letouzey	2012-12-07
*	Coqide: code cleanup	letouzey	2012-12-07
*	Display Menu now called View Menu (in CoqIDE preferences).	herbelin	2012-12-04
*	More monomorphizations	ppedrot	2012-11-13
*	Coqide : allow properly closing communication pipes with coqtop	letouzey	2012-11-12
*	Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)	letouzey	2012-10-31
*	Text inserted by insert_this_phrase_on_success correct tagging	pboutill	2012-10-23
*	Coqide for Gtk-mac-integration 2.0.0	pboutill	2012-10-23
*	MacOS integration uses lablgtkosx >= 1.1	pboutill	2012-09-17
*	More type-safe interface to Coq XML API.	ppedrot	2012-09-17
*	Some documentation and cleaning of CList and Util interfaces.	ppedrot	2012-09-15
*	Moving Utils.list_* to a proper CList module, which includes stdlib	ppedrot	2012-09-14
*	Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRS	pboutill	2012-09-12
*	Added Print Assumptions command to CoqIDE	ppedrot	2012-09-10
*	When asked for a SearchAbout request, Coq now returns a more precise	ppedrot	2012-09-09
*	Added a comment/uncomment command to CoqIDE	ppedrot	2012-09-06
*	Nice output of SearchAbout command in CoqIDE	ppedrot	2012-09-06
*	Fix coqide compilation with lablgtk 2.16	pboutill	2012-09-04
*	Coqide Fix highlighting of Extraction, Import, Variables	pboutill	2012-09-04
*	Better highlighting of strings in coqide.	aspiwack	2012-08-24
*	Modification of the unjustified tag.	aspiwack	2012-08-24
*	No more states/initial.coq, instead coqtop now requires Prelude.vo	letouzey	2012-08-23
*	Fixes bug #2857.	aspiwack	2012-08-10
*	Updating headers.	herbelin	2012-08-08
*	Bug 2706: Coqide and layout that use special modifiers	pboutill	2012-07-25
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16
*	Fixing goal display when still focussing but no more goals.	ppedrot	2012-07-16