index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
wg_MessageView.mli
Age
Commit message (
Expand
)
Author
2018-12-09
[doc] Enable Warning 50 [incorrect doc comment] and fix comments.
Emilio Jesus Gallego Arias
2018-03-08
coqide: queries from the query window are routed there (fix #5684)
Enrico Tassi
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-07-27
deprecate Pp.std_ppcmds type alias
Matej Košík
2017-07-04
Bump 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-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2015-09-20
Rich printing of messages.
Pierre-Marie Pédrot
2015-08-31
Switching to an event-based mechanism for CoqIDE preferences.
Pierre-Marie Pédrot
2015-08-16
Using the new preference mechanism for colors in CoqIDE.
Pierre-Marie Pédrot
2015-02-20
Fixing bug #4073.
Pierre-Marie Pédrot
2015-02-12
Focussing on message view in CoqIDE when a message is pushed.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-06-25
all coqide specific files moved into ide/
Enrico Tassi
2013-03-20
Better encapsulation of MessageView
ppedrot
2012-12-10
Coqide: some more refactoring to lighten coqide.ml
letouzey
2012-09-06
Nice output of SearchAbout command in CoqIDE
ppedrot
2012-08-08
Updating headers.
herbelin
2012-07-16
Added abstration layer to goal display in CoqIDE, and cleaned parts
ppedrot
2012-06-24
Made the message view of CoqIDE abstract.
ppedrot
