aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_ProofView.ml
Commit message (Expand)AuthorAge
* CoqIDE scrolls the proof buffer down to the first goal.Gravatar Cyprien Mangin2018-06-27
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* labelizing argumentsGravatar Pierre Courtieu2017-05-04
* Adding an option "Printing Unfocused".Gravatar Pierre Courtieu2017-05-04
* Fix omitted labels in function callsGravatar Gaetan Gilbert2017-04-27
* [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
* [pp] Make feedback the only logging mechanism.Gravatar Emilio Jesus Gallego Arias2017-03-21
* Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | Rich printing of goals.Gravatar Pierre-Marie Pédrot2015-09-20
* | Switching to an event-based mechanism for CoqIDE preferences.Gravatar Pierre-Marie Pédrot2015-08-31
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* Make end-of-proof output consistent across toplevels.Gravatar Guillaume Melquiond2015-06-19
* Compatibility ocaml 3.12.Gravatar Hugo Herbelin2015-05-05
* Granting wish #4221.Gravatar Pierre-Marie Pédrot2015-05-05
* Selecting whole words on double-click in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-15
* 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
* ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...Gravatar Regis-Gianas2014-11-04
* Factored out IDE goal structure.Gravatar Carst Tankink2014-10-01
* Adds a tactic give_up.Gravatar aspiwack2013-11-02
* Adds a shelve tactic.Gravatar aspiwack2013-11-02
* Granting wish #1781:Gravatar ppedrot2013-07-30
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Added abstration layer to goal display in CoqIDE, and cleaned partsGravatar ppedrot2012-07-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-04 10:41:29 +0000