X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2FMETAS%2Fmeta.helm-content_pres.src;fp=matitaB%2Fcomponents%2FMETAS%2Fmeta.helm-content_pres.src;h=9687e9a02ab2aa70bc56018238516f68cb0c9c1a;hb=6d4277977478ef9bcadaffbef3d4bb04ac0250a5;hp=f9540fa62e0bb230e1d8bbd0b43eea407aa85e08;hpb=98f0fac6d03367be776303e7ba353b75878aaa40;p=helm.git diff --git a/matitaB/components/METAS/meta.helm-content_pres.src b/matitaB/components/METAS/meta.helm-content_pres.src index f9540fa62..9687e9a02 100644 --- a/matitaB/components/METAS/meta.helm-content_pres.src +++ b/matitaB/components/METAS/meta.helm-content_pres.src @@ -1,4 +1,4 @@ -requires="helm-content helm-syntax_extensions camlp5.gramlib ulex08 helm-grafite" +requires="helm-content helm-syntax_extensions camlp5.gramlib ulex08 helm-grafite helm-disambiguation helm-grafite" version="0.0.1" archive(byte)="content_pres.cma" archive(native)="content_pres.cmxa"