aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide
Commit message (Expand)AuthorAge
* Fixing bug #4037.Gravatar Pierre-Marie Pédrot2015-02-15
* Changing default for CoqIDE project to append arguments.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE now remembers the path of the last opened project.Gravatar Pierre-Marie Pédrot2015-02-15
* Selecting whole words on double-click in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-15
* CoqIDE: restore old default colorsGravatar Enrico Tassi2015-02-14
* Attempt to be more colorblind friendly in CoqIDE (Close #4024)Gravatar Enrico Tassi2015-02-14
* Fixup version & copyright for MacOS bundleGravatar Pierre Boutillier2015-02-13
* Hardcode how coqide have to look for coqtop in MacOS bundleGravatar Pierre Boutillier2015-02-13
* Selection of the current word in CoqIDE looks at all buffers.Gravatar Pierre-Marie Pédrot2015-02-13
* Trying to fix bug #3930.Gravatar Pierre-Marie Pédrot2015-02-13
* Tentative fix for CoqIDE randomly dropping deletions.Gravatar Pierre-Marie Pédrot2015-02-12
* Fixing bug #3261.Gravatar Pierre-Marie Pédrot2015-02-12
* Focussing on message view in CoqIDE when a message is pushed.Gravatar Pierre-Marie Pédrot2015-02-12
* Fixing bug #4023.Gravatar Pierre-Marie Pédrot2015-02-12
* Reinstauring backtrace display in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-11
* Making undo/redo atomic in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-10
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* Fixing bug #3996.Gravatar Pierre-Marie Pédrot2015-02-04
* Made the CoqIDE progress gutter clickable.Gravatar Pierre-Marie Pédrot2015-01-29
* Made replacing of text in CoqIDE atomic w.r.t. the undo/redo.Gravatar Pierre-Marie Pédrot2015-01-25
* Fixing bug #3947.Gravatar Pierre-Marie Pédrot2015-01-25
* CoqIDE: a Make file to build coqidetop toploopGravatar Enrico Tassi2015-01-14
* Update headers.Gravatar Maxime Dénès2015-01-12
* Removing GUtil dependency from ide/document.ml.Gravatar Pierre-Marie Pédrot2015-01-05
* Adding an option to deactivate the progress bar.Gravatar Pierre-Marie Pédrot2015-01-05
* Implementing a segment-viewer in CoqIDE.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: cleanup jobs window on worker deathGravatar Enrico Tassi2014-12-17
* CThread: use a different type for thread friendly in_channelsGravatar Enrico Tassi2014-12-17
* CoqIDE: better messagesGravatar Enrico Tassi2014-12-17
* Getting rid of Exninfo hacks.Gravatar Pierre-Marie Pédrot2014-12-16
* Revert "Fixing bug #3817."Gravatar Pierre-Marie Pédrot2014-12-14
* Switch the few remaining iso-latin-1 files to utf8Gravatar Pierre Letouzey2014-12-09
* Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE bu...Gravatar Hugo Herbelin2014-12-07
* Ensuring that ide_slave and stm receive only .v files from CoqIDE.Gravatar Hugo Herbelin2014-12-07
* Remove dead codeGravatar Enrico Tassi2014-12-01
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* Fixing bug #3817.Gravatar Pierre-Marie Pédrot2014-11-24
* Reworking the -color flag of coqtop.Gravatar Pierre-Marie Pédrot2014-11-15
* Fixing compilation (name of module Richprinter) I partially feelGravatar Hugo Herbelin2014-11-06
* ide/Xmlprotocol: Cosmetics.Gravatar Yann Régis-Gianas2014-11-04
* ide/Ide_slave.annotate: Implement annotate.Gravatar Regis-Gianas2014-11-04
* ide/{ide_slave.ml, interfaces}: Coerce input and output of requests between i...Gravatar Regis-Gianas2014-11-04
* ide/wg_ProofView: Do not refer to the {Proof} internal module, use {Interface...Gravatar Regis-Gianas2014-11-04
* ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* Install index_urls.txt in a location where coqide might actually find it.Gravatar Guillaume Melquiond2014-10-24
* Fixing order of hypothesis in goal hypotheses compaction for coqtop.Gravatar Hugo Herbelin2014-10-24
* fix parsing of ---- +++++ ***** in CoqIDEGravatar Enrico Tassi2014-10-23
* Pushing Pierre's factorization of names in goal context printing fromGravatar Hugo Herbelin2014-10-22
* CoqIDE: fix parsing of multicharacter bulletsGravatar Enrico Tassi2014-10-22
* Fix the way lexeme start is computed (Close 3737)Gravatar Enrico Tassi2014-10-22
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 16:52:43 +0000