aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_ProofView.mli
Commit message (Expand)AuthorAge
* [coqide] Protect against size_allocate race in proofview.Gravatar Emilio Jesus Gallego Arias2017-03-28
* [ide] Dynamic printing width.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Selection of the current word in CoqIDE looks at all buffers.Gravatar Pierre-Marie Pédrot2015-02-13
* Update headers.Gravatar Maxime Dénès2015-01-12
* Updating headers.Gravatar herbelin2012-08-08
* Added abstration layer to goal display in CoqIDE, and cleaned partsGravatar ppedrot2012-07-16