aboutsummaryrefslogtreecommitdiff
path: root/dev/core.dbg
AgeCommit message (Expand)Author
2018-12-11Fixing imports in debug printers: gramlib depends on Loc which is in lib.cma.Hugo Herbelin
2018-10-23[build] Refactoring to config lib and ocamldebug tweaks.Emilio Jesus Gallego Arias
2018-05-22Fixing debugger after #6859 (loading dynlink.cma before lib.cma).Hugo Herbelin
2018-04-23[api] Relocate `intf` modules according to dependency-order.Emilio Jesus Gallego Arias
2018-02-17Change references to CAMLP4 to CAMLP5 to be more accurate since we noJim Fehrle
2017-12-27[API] remove large file containing duplicate interfacesEnrico Tassi
2017-08-29[general] Merge parsing with highparsing, put toplevel at the top of the link...Emilio Jesus Gallego Arias
2017-06-12Fix ocamldebug for the APIGaëtan Gilbert
2017-04-03Fix loading of ocamldebug printers.Pierre-Marie Pédrot
2017-03-12Updating core.dbg after ltac moved to plugins directory.Hugo Herbelin
2017-02-19Fixing debugger after the split of toplevel into vernac.Pierre-Marie Pédrot
2016-10-05Fix loading of debug printers.Pierre-Marie Pédrot
2016-07-26No more dev/printers.cmaPierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:15:59 +0000