Codebase list coq / upstream/8.1.pl3+dfsg dev / base_db
upstream/8.1.pl3+dfsg

Tree @upstream/8.1.pl3+dfsg (Download .tar.gz)

base_db @upstream/8.1.pl3+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