aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ide_slave.ml
Commit message (Expand)AuthorAge
* Remove failure on non-.v files (bug #4752).Gravatar Guillaume Melquiond2016-06-09
* CoqIDE is more resilient to initialization errors.Gravatar Pierre-Marie Pédrot2016-03-15
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* Ide: fix bug #4284 for goodGravatar Matthieu Sozeau2015-07-08
* Bug 4284: Tentative bugfix for detyping exception.Gravatar Matthieu Sozeau2015-07-08
* Reinstauring backtrace display in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-11
* More efficient Richpp.Gravatar Pierre-Marie Pédrot2015-02-06
* Update headers.Gravatar Maxime Dénès2015-01-12
* CThread: use a different type for thread friendly in_channelsGravatar 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
* Ensuring that ide_slave and stm receive only .v files from CoqIDE.Gravatar Hugo Herbelin2014-12-07
* 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/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/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Gravatar Regis-Gianas2014-11-04
* Fixing order of hypothesis in goal hypotheses compaction for coqtop.Gravatar Hugo Herbelin2014-10-24
* Pushing Pierre's factorization of names in goal context printing fromGravatar Hugo Herbelin2014-10-22
* Factored out IDE goal structure.Gravatar Carst Tankink2014-10-01
* CoqIDE: new message to print ASTGravatar Enrico Tassi2014-09-29
* Referring to evars by names. Added a parser for evars (but parsing ofGravatar Hugo Herbelin2014-09-12
* toploop plugins taken into account when printing --help (close: 3535)Gravatar Enrico Tassi2014-09-09
* Fixup introduction of coqworkmgrGravatar Pierre Boutillier2014-09-02
* coqworkmgrGravatar Enrico Tassi2014-09-02
* Coqide prints succesive hyps of the same type on 1 lineGravatar Pierre Boutillier2014-09-01
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 12:16:07 +0000