base_db « dev - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/dev/base_db

blob: d34ae6b68875f120428a19f944a5be6c3456723a (plain)

load_printer "gramlib.cma"
load_printer "top_printers.cmo"
install_printer Top_printers.prid
install_printer Top_printers.prsp