aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/core.dbg
Commit message (Expand)AuthorAge
* Fix ocamldebug for the APIGravatar Gaëtan Gilbert2017-06-12
* Fix loading of ocamldebug printers.Gravatar Pierre-Marie Pédrot2017-04-03
* Updating core.dbg after ltac moved to plugins directory.Gravatar Hugo Herbelin2017-03-12
* Fixing debugger after the split of toplevel into vernac.Gravatar Pierre-Marie Pédrot2017-02-19
* Fix loading of debug printers.Gravatar Pierre-Marie Pédrot2016-10-05
* No more dev/printers.cmaGravatar Pierre Letouzey2016-07-26