coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Fix CoqIDE on windows	Enrico Tassi	2013-12-10
*	Wg_Find: regex + case insensitive find/replace support	gareuselesinge	2013-10-22
*	CoqIDE: display in the errors window also the slaves status	gareuselesinge	2013-10-22
*	CoqIDE: when jumping to an error also move the cursor	gareuselesinge	2013-10-03
*	CoqIDE: use #present to raise error window	gareuselesinge	2013-09-30
*	Backtrace.record_backtrace in CoqIDE too	gareuselesinge	2013-09-30
*	wg_Command: detachable, less "from the 80s", query pane	gareuselesinge	2013-09-30
*	fix error reporting window size calculation	gareuselesinge	2013-09-13
*	CoqIDE: new async error reporting window and slaves status	gareuselesinge	2013-09-13
*	CoqIDE: show number of proofs being checked in background	gareuselesinge	2013-09-12
*	More robust argument setter in CoqIDE. It does not crash anymore on bad	ppedrot	2013-09-04
*	Add a (very minimal) Proof General mode to CoqIDE	gareuselesinge	2013-08-08
*	Coqide ported to STM	gareuselesinge	2013-08-08
*	Protecting every call to current_term in CoqIDE so that callback	ppedrot	2013-07-27
*	Added a way to change dynamically coqtop arguments in CoqIDE.	ppedrot	2013-07-27
*	Coqide: view -> zoom in / out / fit	gareuselesinge	2013-05-06
*	raise UnsafeSuccess -> feedback AddedAxiom	gareuselesinge	2013-04-25
*	Renaming SearchAbout into Search and Search into SearchHead.	herbelin	2013-04-17
*	Better encapsulation of MessageView	ppedrot	2013-03-20
*	CoqIDE: Including autocompletion in word proposals	ppedrot	2013-02-20
*	Monadification of coqtop queries in CoqIDE	ppedrot	2013-01-26
*	Better handling of escape find in CoqIDE	ppedrot	2013-01-25
*	Coqide: cleaner Coq.PrintOpt and session creation	letouzey	2012-12-19
*	Coqide: some more refactoring to lighten coqide.ml	letouzey	2012-12-10
*	Coqide: use labels for all labelled functions	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
*	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
*	More monomorphizations	ppedrot	2012-11-13
*	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
*	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
*	Updating headers.	herbelin	2012-08-08
*	Added abstration layer to goal display in CoqIDE, and cleaned parts	ppedrot	2012-07-16