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
*
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
*
ide/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".
Regis-Gianas
2014-11-04
*
Install index_urls.txt in a location where coqide might actually find it.
Guillaume Melquiond
2014-10-24
*
Fixing order of hypothesis in goal hypotheses compaction for coqtop.
Hugo Herbelin
2014-10-24
*
fix parsing of ---- +++++ ***** in CoqIDE
Enrico Tassi
2014-10-23
*
Pushing Pierre's factorization of names in goal context printing from
Hugo Herbelin
2014-10-22
*
CoqIDE: fix parsing of multicharacter bullets
Enrico Tassi
2014-10-22
*
Fix the way lexeme start is computed (Close 3737)
Enrico Tassi
2014-10-22
*
STM: report the (structured) goals as XML
Carst Tankink
2014-10-01
*
Factored out IDE goal structure.
Carst Tankink
2014-10-01
*
CoqIDE: new message to print AST
Enrico Tassi
2014-09-29
*
Remove pointless regex for '""' as the empty string already matches it.
Guillaume Melquiond
2014-09-17
*
Fix highlighting of "Hint Unfold" and "Hint Rewrite".
Guillaume Melquiond
2014-09-17
*
Properly highlight the Export keyword.
Guillaume Melquiond
2014-09-17
*
Fix ambiguous regex in syntax highlighting.
Guillaume Melquiond
2014-09-17
*
Fix broken syntax highlighting for Coq files using "Proof constr".
Guillaume Melquiond
2014-09-17
*
Referring to evars by names. Added a parser for evars (but parsing of
Hugo Herbelin
2014-09-12
*
IDE: escape popup text (close: 3600)
Enrico Tassi
2014-09-09
*
IDE: disable editable text area underline when -debug
Enrico Tassi
2014-09-09
*
toploop plugins taken into account when printing --help (close: 3535)
Enrico Tassi
2014-09-09
*
Add a [Variant] declaration which allows to write non-recursive variant types.
Arnaud Spiwack
2014-09-04
*
Fixup introduction of coqworkmgr
Pierre Boutillier
2014-09-02
*
coqworkmgr
Enrico Tassi
2014-09-02
*
Coqide prints succesive hyps of the same type on 1 line
Pierre Boutillier
2014-09-01
*
"allows to", like "allowing to", is improper
Jason Gross
2014-08-25
[next]