diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
commit | 7cfc4e5146be5666419451bdd516f1f3f264d24a (patch) | |
tree | e4197645da03dc3c7cc84e434cc31d0a0cca7056 /dev/db | |
parent | 420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff) |
Imported Upstream version 8.5~beta1+dfsg
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 |