Codebase list coq / upstream/8.3.rc1.dfsg dev / base_db
upstream/8.3.rc1.dfsg

Tree @upstream/8.3.rc1.dfsg (Download .tar.gz)

base_db @upstream/8.3.rc1.dfsg — raw · history · blame 

1
2
3
4
5
load_printer "gramlib.cma"
load_printer "top_printers.cmo"
install_printer Top_printers.prid
install_printer Top_printers.prsp
install_printer Top_printers.print_pure_constr