index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
ide
/
wg_ProofView.ml
Age
Commit message (
Expand
)
Author
2019-04-08
Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.
Pierre-Marie Pédrot
2019-03-19
Fix for post-beta3 lablgtk3 changes about cairo (from Claudio).
Hugo Herbelin
2019-03-19
CoqIDE: Use modify_bg rather than modify_base to change background color.
Hugo Herbelin
2019-03-19
CoqIDE: Change name of module: Sourceview2 -> Sourceview3
Hugo Herbelin
2018-06-27
CoqIDE scrolls the proof buffer down to the first goal.
Cyprien Mangin
2018-02-27
Update headers following #6543.
Théo Zimmermann
2017-07-04
Bump year in headers.
Pierre-Marie Pédrot
2017-05-04
labelizing arguments
Pierre Courtieu
2017-05-04
Adding an option "Printing Unfocused".
Pierre Courtieu
2017-04-27
Fix omitted labels in function calls
Gaetan Gilbert
2017-03-28
[coqide] Protect against size_allocate race in proofview.
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
2016-05-08
Removing dead code and unused opens.
Pierre-Marie Pédrot
2016-01-21
Merge branch 'v8.5'
Pierre-Marie Pédrot
2016-01-20
Update copyright headers.
Maxime Dénès
2016-01-02
Remove some unused functions.
Guillaume Melquiond
2015-09-20
Rich printing of goals.
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-06-19
Make end-of-proof output consistent across toplevels.
Guillaume Melquiond
2015-05-05
Compatibility ocaml 3.12.
Hugo Herbelin
2015-05-05
Granting wish #4221.
Pierre-Marie Pédrot
2015-02-15
Selecting whole words on double-click in CoqIDE.
Pierre-Marie Pédrot
2015-02-13
Selection of the current word in CoqIDE looks at all buffers.
Pierre-Marie Pédrot
2015-01-12
Update headers.
Maxime Dénès
2014-11-04
ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...
Regis-Gianas
2014-10-01
Factored out IDE goal structure.
Carst Tankink
2013-11-02
Adds a tactic give_up.
aspiwack
2013-11-02
Adds a shelve tactic.
aspiwack
2013-07-30
Granting wish #1781:
ppedrot
2012-09-14
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-08-08
Updating headers.
herbelin
2012-07-16
Added abstration layer to goal display in CoqIDE, and cleaned parts
ppedrot
