From e3be8cdf7c4aa3882028d460267b136dcc36754a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 14 Dec 1999 08:03:32 +0000
Subject: pretty-printers pour le debugger

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@251 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/db | 28 +++++++++++++++++++++++++---
 1 file changed, 25 insertions(+), 3 deletions(-)

(limited to 'dev/db')

diff --git a/dev/db b/dev/db
index 84223c7454..2cb7bb5f3d 100644
--- a/dev/db
+++ b/dev/db
@@ -1,4 +1,26 @@
-load_printer "db_printers.cmo"
-install_printer Db_printers.prid
-install_printer Db_printers.prsp
+load_printer "top_printers.cmo"
+install_printer Top_printers.prid
+install_printer Top_printers.prsp
+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.ppterm0
+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.prctxt
+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
+
 
-- 
cgit v1.2.3