aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22wg_Detachable: move out of wg_Commandgareuselesinge
2013-10-22Wg_Commands: fix warning "widget not within a GtkWindow"gareuselesinge
2013-10-22Wg_Commands: when detached display the buffer namegareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-22wg_Commands: smaller icons in tabsgareuselesinge
2013-10-22ideutils: support custom size for stock iconsgareuselesinge
2013-10-11CoqIDE: make error background configurablegareuselesinge
2013-10-11CoqIDE: single underline for errorsgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10CoqIDE: ported to Documentgareuselesinge
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-10CoqIDE: a comment is not a sentencegareuselesinge
2013-10-07CoqIDE: fix jumpig out of a focused proofgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-10-01CoqIDE: when checking the whole document, center script view on errorgareuselesinge
2013-10-01CoqIDE: fixed advance_until wrt unfocusinggareuselesinge
2013-10-01CoqIDE: do not print cmd_stack too oftengareuselesinge
2013-10-01CoqIDE: do not fail hard if a message is asynchronousgareuselesinge
2013-10-01CoqIDE: fix reset initialgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30CoqIDE: wg_Tooltip removed, new tooltip handlinggareuselesinge
2013-09-30ideutils: stock_to_widget was ignoring the ~size argumentgareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-30wg_Session: fix copy/paste of tagged textgareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-09-13When Coq is reset-initialed by CoqIDE, do reset jobs countersgareuselesinge
2013-09-13fix error reporting window size calculationgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-13Do no compage wg_Notebook terms with (=)gareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-09-04More robust argument setter in CoqIDE. It does not crash anymore on badppedrot
2013-08-20CoqIDE: fixed detection of edits in the locked zonegareuselesinge
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-19Tooltips can be augmented with custom widgets, still not clickablegareuselesinge
2013-08-12Setting tooltip font monospace.ppedrot
2013-08-11Automatic backtracking if locked zone is editedgareuselesinge
2013-08-09Adding the processed tag to comments in CoqIDE.ppedrot
2013-08-08Gtk check_buttons do have a labelgareuselesinge
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-08-08stm: (initial) support for -coq-slavesgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-08-08Fixing a warning in CoqIDE compilation.ppedrot
2013-07-30Granting wish #1781:ppedrot
2013-07-27Protecting every call to current_term in CoqIDE so that callbackppedrot
2013-07-27Added a way to change dynamically coqtop arguments in CoqIDE.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 11:04:56 +0000