aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_Command.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-04-08Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.Pierre-Marie Pédrot
2019-03-19Fix for post-beta3 lablgtk3 changes about cairo (from Claudio).Hugo Herbelin
2019-03-19CoqIDE: Use modify_bg rather than modify_base to change background color.Hugo Herbelin
2019-03-19CoqIDE: Replacing deprecated color_of_string with color_parse.Hugo Herbelin
2018-10-26Merge PR #8803: Fix issue #8800 (gtk warning about gtk_scrolled_window_add_wi...Pierre-Marie Pédrot
2018-10-23Fix issue #8801.Guillaume Melquiond
2018-10-23Fix issue #8800.Guillaume Melquiond
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-04-20[ide] Set Stateid in query pane.Emilio Jesus Gallego Arias
2017-03-21[ide] Dynamic printing width.Emilio Jesus Gallego Arias
2017-03-21[pp] Make feedback the only logging mechanism.Emilio Jesus Gallego Arias
2017-03-21[ide] Use "log via feedback".Emilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Rich printing of CoqIDE protocol failure.Pierre-Marie Pédrot
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
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-22wg_Commands: smaller icons in tabsgareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-09-15Some documentation and cleaning of CList and Util interfaces.ppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-08-08Updating headers.herbelin
2012-07-13Fixes r15610 (A new status Unsafe in Interface).aspiwack
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-13Heavily rewritten the coqtop management process of coqide. The coqtopppedrot
2012-05-02Removed the useless use of a reference in preference handling.ppedrot
2012-04-20Cleaning up widget code and using a naming convention for such files.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:57:48 +0000