From 2914c7179cb8253388df0f5257e41d014a277b01 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 13 Sep 2007 14:23:27 +0000 Subject: [PATCH] new matita.conf with getter entry to see the published matita contribs and with a db entry to see the public db. a db sipset for publishing the matita developments is also provided --- helm/software/matita/matita.conf.xml.in | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/helm/software/matita/matita.conf.xml.in b/helm/software/matita/matita.conf.xml.in index 62f69ac61..791e69cf8 100644 --- a/helm/software/matita/matita.conf.xml.in +++ b/helm/software/matita/matita.conf.xml.in @@ -49,9 +49,18 @@ + + @DBHOST@ public helm none legacy @DBHOST@ matita helm none library @DBHOST@ matita helm none user + + + + cic:/matita/ + file:///projects/helm/library/matita_contribs/matita + ro + cic:/matita/ file://$(matita.rt_base_dir)/xml/standard-library/ -- 2.39.2