coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/base_db

October 2018

Gaëtan Gilbert
Merge PR #8753: [build] Refactoring of config lib and ocamldebug tweaks.
committed
Emilio Jesus Gallego Arias
[build] Refactoring to config lib and ocamldebug tweaks.
committed

July 2016

Pierre Letouzey
No more dev/printers.cma
committed

December 2000

mohring
Printer
committed

November 2000

filliatr
ajout constr_display
committed

December 1999

filliatr
rattrapage exceptions autres que UserError
committed
filliatr
pretty-printers pour le debugger
committed