index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
Commit message (
Expand
)
Author
Age
*
CoqIDE: correclty unfocus (remove all tags) when jumping out of a proof
Enrico Tassi
2015-02-25
*
Fix some typos in comments.
Guillaume Melquiond
2015-02-23
*
Fixing bug #4073.
Pierre-Marie Pédrot
2015-02-20
*
Remove Whelp commands.
Maxime Dénès
2015-02-17
*
Fixing bug #4023 again.
Pierre-Marie Pédrot
2015-02-17
*
Tentative fix for bug #2855.
Pierre-Marie Pédrot
2015-02-17
*
CoqIDE: read-only Qed sentence reflected in colors (Close: 4051)
Enrico Tassi
2015-02-17
*
Fixing bug #4037.
Pierre-Marie Pédrot
2015-02-15
*
Changing default for CoqIDE project to append arguments.
Pierre-Marie Pédrot
2015-02-15
*
CoqIDE now remembers the path of the last opened project.
Pierre-Marie Pédrot
2015-02-15
*
Selecting whole words on double-click in CoqIDE.
Pierre-Marie Pédrot
2015-02-15
*
CoqIDE: restore old default colors
Enrico Tassi
2015-02-14
*
Attempt to be more colorblind friendly in CoqIDE (Close #4024)
Enrico Tassi
2015-02-14
*
Fixup version & copyright for MacOS bundle
Pierre Boutillier
2015-02-13
*
Hardcode how coqide have to look for coqtop in MacOS bundle
Pierre Boutillier
2015-02-13
*
Selection of the current word in CoqIDE looks at all buffers.
Pierre-Marie Pédrot
2015-02-13
*
Trying to fix bug #3930.
Pierre-Marie Pédrot
2015-02-13
*
Tentative fix for CoqIDE randomly dropping deletions.
Pierre-Marie Pédrot
2015-02-12
*
Fixing bug #3261.
Pierre-Marie Pédrot
2015-02-12
*
Focussing on message view in CoqIDE when a message is pushed.
Pierre-Marie Pédrot
2015-02-12
*
Fixing bug #4023.
Pierre-Marie Pédrot
2015-02-12
*
Reinstauring backtrace display in CoqIDE.
Pierre-Marie Pédrot
2015-02-11
*
Making undo/redo atomic in CoqIDE.
Pierre-Marie Pédrot
2015-02-10
*
More efficient Richpp.
Pierre-Marie Pédrot
2015-02-06
*
Fixing bug #3996.
Pierre-Marie Pédrot
2015-02-04
*
Made the CoqIDE progress gutter clickable.
Pierre-Marie Pédrot
2015-01-29
*
Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.
Pierre-Marie Pédrot
2015-01-25
*
Fixing bug #3947.
Pierre-Marie Pédrot
2015-01-25
*
CoqIDE: a Make file to build coqidetop toploop
Enrico Tassi
2015-01-14
*
Update headers.
Maxime Dénès
2015-01-12
*
Removing GUtil dependency from ide/document.ml.
Pierre-Marie Pédrot
2015-01-05
*
Adding an option to deactivate the progress bar.
Pierre-Marie Pédrot
2015-01-05
*
Implementing a segment-viewer in CoqIDE.
Pierre-Marie Pédrot
2015-01-05
*
CoqIDE: cleanup jobs window on worker death
Enrico Tassi
2014-12-17
*
CThread: use a different type for thread friendly in_channels
Enrico Tassi
2014-12-17
*
CoqIDE: better messages
Enrico Tassi
2014-12-17
*
Getting rid of Exninfo hacks.
Pierre-Marie Pédrot
2014-12-16
*
Revert "Fixing bug #3817."
Pierre-Marie Pédrot
2014-12-14
*
Switch the few remaining iso-latin-1 files to utf8
Pierre Letouzey
2014-12-09
*
Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu...
Hugo Herbelin
2014-12-07
*
Ensuring that ide_slave and stm receive only .v files from CoqIDE.
Hugo Herbelin
2014-12-07
*
Remove dead code
Enrico Tassi
2014-12-01
*
Feedback: API cleaned up, documented and made user extensible
Enrico Tassi
2014-11-27
*
Fixing bug #3817.
Pierre-Marie Pédrot
2014-11-24
*
Reworking the -color flag of coqtop.
Pierre-Marie Pédrot
2014-11-15
*
Fixing compilation (name of module Richprinter) I partially feel
Hugo Herbelin
2014-11-06
*
ide/Xmlprotocol: Cosmetics.
Yann Régis-Gianas
2014-11-04
*
ide/Ide_slave.annotate: Implement annotate.
Regis-Gianas
2014-11-04
*
ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...
Regis-Gianas
2014-11-04
*
ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...
Regis-Gianas
2014-11-04
[next]