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