aboutsummaryrefslogtreecommitdiff
path: root/ide
AgeCommit message (Expand)Author
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
2014-10-24Install index_urls.txt in a location where coqide might actually find it.Guillaume Melquiond
2014-10-24Fixing order of hypothesis in goal hypotheses compaction for coqtop.Hugo Herbelin
2014-10-23fix parsing of ---- +++++ ***** in CoqIDEEnrico Tassi
2014-10-22Pushing Pierre's factorization of names in goal context printing fromHugo Herbelin
2014-10-22CoqIDE: fix parsing of multicharacter bulletsEnrico Tassi
2014-10-22Fix the way lexeme start is computed (Close 3737)Enrico Tassi
2014-10-01STM: report the (structured) goals as XMLCarst Tankink
2014-10-01Factored out IDE goal structure.Carst Tankink
2014-09-29CoqIDE: new message to print ASTEnrico Tassi
2014-09-17Remove pointless regex for '""' as the empty string already matches it.Guillaume Melquiond
2014-09-17Fix highlighting of "Hint Unfold" and "Hint Rewrite".Guillaume Melquiond
2014-09-17Properly highlight the Export keyword.Guillaume Melquiond
2014-09-17Fix ambiguous regex in syntax highlighting.Guillaume Melquiond
2014-09-17Fix broken syntax highlighting for Coq files using "Proof constr".Guillaume Melquiond
2014-09-12Referring to evars by names. Added a parser for evars (but parsing ofHugo Herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-19 20:16:51 +0000