aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ide_slave.ml
Commit message (Expand)AuthorAge
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-18
|\
| * CoqIDE is more resilient to initialization errors.Gravatar Pierre-Marie Pédrot2016-03-15
* | CLEANUP: Context.{Rel,Named}.Declaration.tGravatar Matej Kosik2016-02-09
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | CLEANUP: kernel/context.ml{,i}Gravatar Matej Kosik2016-01-11
* | Using GADTs in Xmlprotocol.Gravatar Pierre-Marie Pédrot2015-10-22
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-09
|\|
| * Goptions: new value type: optional stringGravatar Enrico Tassi2015-10-08
* | Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of goals.Gravatar Pierre-Marie Pédrot2015-09-20
|/
* 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-26 09:40:50 +0000