From 7cfc4e5146be5666419451bdd516f1f3f264d24a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sun, 25 Jan 2015 14:42:51 +0100 Subject: Imported Upstream version 8.5~beta1+dfsg --- dev/db | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) (limited to 'dev/db') diff --git a/dev/db b/dev/db index 63c98bb6..f259b50e 100644 --- a/dev/db +++ b/dev/db @@ -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 -- cgit v1.2.3