aboutsummaryrefslogtreecommitdiff
path: root/ide/ide_slave.ml
AgeCommit message (Expand)Author
2017-01-13Fix broken .aux machinery.Guillaume Melquiond
2016-09-30Merge branch 'v8.5' into v8.6Maxime Dénès
2016-09-28Make error message more helpful.Théo Zimmermann
2016-09-05feedback: support multiple feedback listenersEnrico Tassi
2016-07-03errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Pierre Letouzey
2016-06-25[feedback] Allow messages to carry a location.Emilio Jesus Gallego Arias
2016-06-25[feedback] Add optional ?loc parameter to loggers.Emilio Jesus Gallego Arias
2016-06-16ideslave: do not bail out in case of XML errorEnrico Tassi
2016-06-09Merge branch 'v8.5'Pierre-Marie Pédrot
2016-06-09Remove failure on non-.v files (bug #4752).Guillaume Melquiond
2016-06-07Search interface revisions.Pierre-Marie Pédrot
2016-06-07Removing the convenience functions from the Search API.Pierre-Marie Pédrot
2016-06-06xmlprotocol: Marshal_error carries the reasonEnrico Tassi
2016-06-02Encapsulate xml serialization in xmlprotocol.mliEmilio Jesus Gallego Arias
2016-06-02Move serialization functions out of StmEmilio Jesus Gallego Arias
2016-05-31Feedback cleanupEmilio Jesus Gallego Arias
2016-04-24avoid communicating to the serarch interface using raw strings.Gregory Malecha
2016-03-18Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-15CoqIDE is more resilient to initialization errors.Pierre-Marie Pédrot
2016-02-09CLEANUP: Context.{Rel,Named}.Declaration.tMatej Kosik
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2016-01-11CLEANUP: kernel/context.ml{,i}Matej Kosik
2015-10-22Using GADTs in Xmlprotocol.Pierre-Marie Pédrot
2015-10-09Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-08Goptions: new value type: optional stringEnrico Tassi
2015-09-20Rich printing of CoqIDE protocol failure.Pierre-Marie Pédrot
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Rich printing of goals.Pierre-Marie Pédrot
2015-07-08Ide: fix bug #4284 for goodMatthieu Sozeau
2015-07-08Bug 4284: Tentative bugfix for detyping exception.Matthieu Sozeau
2015-02-11Reinstauring backtrace display in CoqIDE.Pierre-Marie Pédrot
2015-02-06More efficient Richpp.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-12-17CThread: use a different type for thread friendly in_channelsEnrico Tassi
2014-12-16Getting rid of Exninfo hacks.Pierre-Marie Pédrot
2014-12-14Revert "Fixing bug #3817."Pierre-Marie Pédrot
2014-12-07Ensuring that ide_slave and stm receive only .v files from CoqIDE.Hugo Herbelin
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/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/{Xmlprotocol,Interface,Ide_slave}: New command "annotate".Regis-Gianas
2014-10-24Fixing order of hypothesis in goal hypotheses compaction for coqtop.Hugo Herbelin
2014-10-22Pushing Pierre's factorization of names in goal context printing fromHugo Herbelin
2014-10-01Factored out IDE goal structure.Carst Tankink
2014-09-29CoqIDE: new message to print ASTEnrico Tassi
2014-09-12Referring to evars by names. Added a parser for evars (but parsing ofHugo Herbelin
2014-09-09toploop plugins taken into account when printing --help (close: 3535)Enrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 13:28:53 +0000