coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
...
*	Update headers.	Maxime Dénès	2015-01-12
*	Adding an option to deactivate the progress bar.	Pierre-Marie Pédrot	2015-01-05
*	CoqIDE: better messages	Enrico Tassi	2014-12-17
*	Ensuring that ide_slave and stm receive only .v files from CoqIDE.	Hugo Herbelin	2014-12-07
*	"allows to", like "allowing to", is improper	Jason Gross	2014-08-25
*	Fixing bug #3404.	Pierre-Marie Pédrot	2014-08-24
*	Enabling drag & drop on the source view widgets.	Pierre-Marie Pédrot	2014-08-24
*	Ide: Drop argument added by MacOS during .app launch	Pierre Boutillier	2014-07-22
*	all coqide specific files moved into ide/	Enrico Tassi	2014-06-25
*	Support dropping files over the coqide window. (Partial fix for bug #2765)	Guillaume Melquiond	2014-06-19
*	CoqIDE: options for syntax highlighting	Enrico Tassi	2014-04-10
*	Allowing proof view to be detached in CoqIDE.	Pierre-Marie Pédrot	2014-04-07
*	Move error and job display to the lower right pane.	Guillaume Melquiond	2014-03-04
*	STM + CoqIDE: stop_worker message and UI	Enrico Tassi	2014-01-30
*	CoqIDE: command line for extra coqtop "flags"	Enrico Tassi	2014-01-26
*	CoqIDE: ported to spawn	Enrico Tassi	2014-01-26
*	CoqIDE: new feedback "incomplete" to signal partial Qed	Enrico Tassi	2013-12-24
*	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