aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldebug-coq.run
Commit message (Expand)AuthorAge
* Change references to CAMLP4 to CAMLP5 to be more accurate since we noGravatar Jim Fehrle2018-02-17
* Fix the wrapper around ocamldebug.Gravatar Pierre-Marie Pédrot2018-01-15
* [API] remove large file containing duplicate interfacesGravatar Enrico Tassi2017-12-27
* Fix ocamldebug for the APIGravatar Gaëtan Gilbert2017-06-12
* Merge PR#309: Ltac as a pluginGravatar Maxime Dénès2017-02-21
|\
* | Fixing debugger after the split of toplevel into vernac.Gravatar Pierre-Marie Pédrot2017-02-19
| * Ltac as a plugin.Gravatar Pierre-Marie Pédrot2017-02-17
|/
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26
* Creating a dedicated ltac/ folder for Hightactics.Gravatar Pierre-Marie Pédrot2016-03-21
* Adding a new folder corresponding to the low-level part of the pretyperGravatar Pierre-Marie Pédrot2015-02-27
* Fixing include of debugger.Gravatar Pierre-Marie Pédrot2014-08-18
* configure.ml: our configure script is now written in ML :-)Gravatar Pierre Letouzey2013-12-20