aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ocamldebug-coq.run
Commit message (Expand)AuthorAge
* Remove fourier pluginGravatar Maxime Dénès2018-07-17
* Infrastructure for ocamldebug on the checkerGravatar Gaëtan Gilbert2018-05-13
* [api] Relocate `intf` modules according to dependency-order.Gravatar Emilio Jesus Gallego Arias2018-04-23
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-07 07:52:55 +0000