From b2d466f40dbf40fa6404d98228325cf97da2748c Mon Sep 17 00:00:00 2001 From: herbelin Date: Sun, 26 Nov 2000 19:04:18 +0000 Subject: Prise en compte qualid git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@963 85f007b7-540e-0410-9357-904b9bb8a0f7 --- dev/db | 1 + 1 file changed, 1 insertion(+) (limited to 'dev/db') diff --git a/dev/db b/dev/db index 232e7b40b..c89f2a8be 100644 --- a/dev/db +++ b/dev/db @@ -2,6 +2,7 @@ load_printer "gramlib.cma" load_printer "top_printers.cmo" install_printer Top_printers.prid 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 -- cgit v1.2.3