index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
ide
/
ide_slave.ml
Commit message (
Expand
)
Author
Age
*
Using GADTs in Xmlprotocol.
Pierre-Marie Pédrot
2015-10-22
*
Merge branch 'v8.5'
Pierre-Marie Pédrot
2015-10-09
|
\
|
*
Goptions: new value type: optional string
Enrico Tassi
2015-10-08
*
|
Rich printing of CoqIDE protocol failure.
Pierre-Marie Pédrot
2015-09-20
*
|
Rich printing of messages.
Pierre-Marie Pédrot
2015-09-20
*
|
Rich printing of goals.
Pierre-Marie Pédrot
2015-09-20
|
/
*
Ide: fix bug #4284 for good
Matthieu Sozeau
2015-07-08
*
Bug 4284: Tentative bugfix for detyping exception.
Matthieu Sozeau
2015-07-08
*
Reinstauring backtrace display in CoqIDE.
Pierre-Marie Pédrot
2015-02-11
*
More efficient Richpp.
Pierre-Marie Pédrot
2015-02-06
*
Update headers.
Maxime Dénès
2015-01-12
*
CThread: use a different type for thread friendly in_channels
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
*
Ensuring that ide_slave and stm receive only .v files from CoqIDE.
Hugo Herbelin
2014-12-07
*
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/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/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".
Regis-Gianas
2014-11-04
*
Fixing order of hypothesis in goal hypotheses compaction for coqtop.
Hugo Herbelin
2014-10-24
*
Pushing Pierre's factorization of names in goal context printing from
Hugo Herbelin
2014-10-22
*
Factored out IDE goal structure.
Carst Tankink
2014-10-01
*
CoqIDE: new message to print AST
Enrico Tassi
2014-09-29
*
Referring to evars by names. Added a parser for evars (but parsing of
Hugo Herbelin
2014-09-12
*
toploop plugins taken into account when printing --help (close: 3535)
Enrico Tassi
2014-09-09
*
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
*
all coqide specific files moved into ide/
Enrico Tassi
2014-06-25