From 6b649aba925b6f7462da07599fe67ebb12a3460e Mon Sep 17 00:00:00 2001 From: Samuel Mimram Date: Wed, 28 Jul 2004 21:54:47 +0000 Subject: Imported Upstream version 8.0pl1 --- dev/db | 35 +++++++++++++++++++++++++++++++++++ 1 file changed, 35 insertions(+) create mode 100644 dev/db (limited to 'dev/db') diff --git a/dev/db b/dev/db new file mode 100644 index 00000000..44effd77 --- /dev/null +++ b/dev/db @@ -0,0 +1,35 @@ +load_printer "gramlib.cma" +load_printer "top_printers.cmo" +install_printer Top_printers.prid +install_printer Top_printers.prlab +install_printer Top_printers.prmsid +install_printer Top_printers.prmbid +install_printer Top_printers.prdir +install_printer Top_printers.prmp +install_printer Top_printers.prkn +install_printer Top_printers.prsp +install_printer Top_printers.prqualid +install_printer Top_printers.prast +install_printer Top_printers.prastpat +install_printer Top_printers.prastpatl + +install_printer Top_printers.pppattern +install_printer Top_printers.pprawterm + +install_printer Top_printers.ppterm +install_printer Top_printers.print_uni +install_printer Top_printers.pp_universes +install_printer Top_printers.pptype +install_printer Top_printers.prj + +install_printer Top_printers.prgoal +install_printer Top_printers.prsigmagoal +install_printer Top_printers.pproof +install_printer Top_printers.prevd +install_printer Top_printers.prevc +install_printer Top_printers.prwc +install_printer Top_printers.prclenv + +install_printer Top_printers.pptac +install_printer Top_printers.pr_obj + -- cgit v1.2.3