aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-05-06Coqide: view -> zoom in / out / fitgareuselesinge
2013-05-06Ideutils: comment on missing Glib utf8 handling functiongareuselesinge
2013-04-25Fix: tooltip correctly handles the absence of info (empty string)gareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25lablgtk2 misses Glib.Utf8.pos_to_offset, workaround in ideutilsgareuselesinge
2013-04-25Coqide: new tag "tooltip" for the Script windowgareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-20Better encapsulation of MessageViewppedrot
2013-03-19Using ML signalling in CoqIDEppedrot
2013-03-19Adding color for warnings in CoqIDEppedrot
2013-02-25CoqIDE: Add TAB key to autocompleteppedrot
2013-02-22Tentative heuristic fix to handle lexer failures from CoqIDE whenppedrot
2013-02-22Cosmetic changes to CoqIDE finder widget.ppedrot
2013-02-20Fixing an annoying bug in CoqIDE which causes the very first lineppedrot
2013-02-20Fixing #2763ppedrot
2013-02-20More handling of scrollbars in CoqIDE completionppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-02-20Adding scrollbars to CoqIDE autocompletionppedrot
2013-02-19New autocompletion mechanism in CoqIDE. Now provides many answersppedrot
2013-02-13CoqIDE: Adding escape reaction to replace widgetppedrot
2013-02-13Fixing autocompletion lock in CoqIDEppedrot
2013-01-26updating ide/coq documentationppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-26Uniformization of Coq tasksppedrot
2013-01-25Better handling of escape find in CoqIDEppedrot
2013-01-25Better Undo/Redo mechanismppedrot
2013-01-25Trying to fix CoqIDE undo/redo mechanismppedrot
2013-01-25Fixing autocompletion in CoqIDEppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 11:56:41 +0000