aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_MessageView.ml
AgeCommit message (Expand)Author
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: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
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-27deprecate Pp.std_ppcmds type aliasMatej Košík
2017-07-04Bump year in headers.Pierre-Marie Pédrot
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
2016-08-30Fix bug #5051: Large outputs are garbled.Pierre-Marie Pédrot
2016-05-31Feedback cleanupEmilio 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 messages.Pierre-Marie Pédrot
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.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-02-20Fixing bug #4073.Pierre-Marie Pédrot
2015-02-15Selecting whole words on double-click in CoqIDE.Pierre-Marie Pédrot
2015-02-12Focussing on message view in CoqIDE when a message is pushed.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2013-08-08Coqide ported to STMgareuselesinge
2013-07-30Granting wish #1781:ppedrot
2013-03-20Better encapsulation of MessageViewppedrot
2013-03-19Adding color for warnings in CoqIDEppedrot
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
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
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-24Cosmetic changesppedrot
2012-06-24Made the message view of CoqIDE abstract.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:18:28 +0000