aboutsummaryrefslogtreecommitdiff
path: root/ide/coqide.ml
AgeCommit message (Expand)Author
2013-12-10Fix CoqIDE on windowsEnrico Tassi
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-03CoqIDE: when jumping to an error also move the cursorgareuselesinge
2013-09-30CoqIDE: use #present to raise error windowgareuselesinge
2013-09-30Backtrace.record_backtrace in CoqIDE toogareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-13fix error reporting window size calculationgareuselesinge
2013-09-13CoqIDE: new async error reporting window and slaves statusgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-09-04More robust argument setter in CoqIDE. It does not crash anymore on badppedrot
2013-08-08Add a (very minimal) Proof General mode to CoqIDEgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
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-06Coqide: view -> zoom in / out / fitgareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-17Renaming SearchAbout into Search and Search into SearchHead.herbelin
2013-03-20Better encapsulation of MessageViewppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-25Better handling of escape find in CoqIDEppedrot
2012-12-19Coqide: cleaner Coq.PrintOpt and session creationletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-08Coqide: use labels for all labelled functionsletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-12-07Coqide: more cleanup (buffers)letouzey
2012-12-07Coqide: stylistic improvements in analyzed_view initializerletouzey
2012-12-07Coqide: cleanup concerning insert_text signalletouzey
2012-12-07Nicer code around Coq_lexletouzey
2012-12-07Coqide: missing arg when calling process_next_phraseletouzey
2012-12-07Coqide: minor cleanup around tag_on_insertletouzey
2012-12-07Coqide: better removal of the error red tagletouzey
2012-12-07Coqide: better handling of gtk messages + fix win32 stdout/stderr reroutingletouzey
2012-12-07Coqide: no reason to ignore Ctrl-Cletouzey
2012-12-07Coqide: use "prefs" ident instead of "current" (vague when unqualified)letouzey
2012-12-07Coqide: opening non-existing files won't create them immediately anymoreletouzey
2012-12-07Coqide: nicer creation of timersletouzey
2012-12-07Coqide: code cleanupletouzey
2012-11-13More monomorphizationsppedrot
2012-10-31Coqide Detach View: avoid doing gtk stuff in sub-thread (fix #2863)letouzey
2012-10-23Text inserted by insert_this_phrase_on_success correct taggingpboutill
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
2012-09-10Added Print Assumptions command to CoqIDEppedrot
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-09-06Added a comment/uncomment command to CoqIDEppedrot
2012-09-06Nice output of SearchAbout command in CoqIDEppedrot
2012-08-08Updating headers.herbelin
2012-07-16Added abstration layer to goal display in CoqIDE, and cleaned partsppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-23 12:06:25 +0000