diff options
Diffstat (limited to 'dev/db')
| -rw-r--r-- | dev/db | 21 |
1 files changed, 21 insertions, 0 deletions
@@ -1,20 +1,28 @@ load_printer "gramlib.cma" +load_printer "str.cma" load_printer "printers.cma" +install_printer Top_printers.ppfuture + install_printer Top_printers.ppid install_printer Top_printers.ppidset +install_printer Top_printers.ppevar install_printer Top_printers.ppevarsubst +install_printer Top_printers.ppexistentialfilter +install_printer Top_printers.ppexistentialset install_printer Top_printers.ppintset install_printer Top_printers.pplab install_printer Top_printers.ppdir install_printer Top_printers.ppmp install_printer Top_printers.ppkn install_printer Top_printers.ppcon +install_printer Top_printers.ppwf_paths install_printer Top_printers.ppmind install_printer Top_printers.ppsp install_printer Top_printers.ppqualid install_printer Top_printers.ppclindex install_printer Top_printers.ppbigint +install_printer Top_printers.pp_transparent_state install_printer Top_printers.pppattern install_printer Top_printers.ppglob_constr @@ -26,10 +34,16 @@ install_printer Top_printers.ppconstraints install_printer Top_printers.pptype install_printer Top_printers.ppj install_printer Top_printers.ppenv +install_printer Top_printers.ppnamedcontextval +install_printer Top_printers.pp_stack_t +install_printer Top_printers.pp_cst_stack_t install_printer Top_printers.ppmetas install_printer Top_printers.ppevm +install_printer Top_printers.ppgoalgoal install_printer Top_printers.ppgoal +install_printer Top_printers.ppproofview +install_printer Top_printers.pphintdb install_printer Top_printers.pptac install_printer Top_printers.ppobj @@ -37,3 +51,10 @@ install_printer Top_printers.pploc install_printer Top_printers.prsubst install_printer Top_printers.prdelta install_printer Top_printers.ppfconstr +install_printer Top_printers.ppgenarginfo +install_printer Top_printers.ppist +install_printer Top_printers.ppconstrunderbindersidmap +install_printer Top_printers.ppunbound_ltac_var_map +install_printer Top_printers.ppididmap +install_printer Top_printers.ppclosure +install_printer Top_printers.ppclosedglobconstr |