aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Command.ml
Commit message (Expand)AuthorAge
* Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
* Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
* Update headers.Gravatar Maxime Dénès2015-01-12
* wg_Detachable: move out of wg_CommandGravatar gareuselesinge2013-10-22
* Wg_Commands: fix warning "widget not within a GtkWindow"Gravatar gareuselesinge2013-10-22
* Wg_Commands: when detached display the buffer nameGravatar gareuselesinge2013-10-22
* wg_Commands: smaller icons in tabsGravatar gareuselesinge2013-10-22
* wg_Command: detachable, less "from the 80s", query paneGravatar gareuselesinge2013-09-30
* CoqIDE ported to the revides protocolGravatar gareuselesinge2013-09-30
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* raise UnsafeSuccess -> feedback AddedAxiomGravatar gareuselesinge2013-04-25
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Monadification of coqtop queries in CoqIDEGravatar ppedrot2013-01-26
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Fixes r15610 (A new status Unsafe in Interface).Gravatar aspiwack2012-07-13
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Heavily rewritten the coqtop management process of coqide. The coqtopGravatar ppedrot2012-05-13
* Removed the useless use of a reference in preference handling.Gravatar ppedrot2012-05-02
* Cleaning up widget code and using a naming convention for such files.Gravatar ppedrot2012-04-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 13:40:52 +0000