X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Flib%2FMake;h=f0be78e292045130c348efbe4708f1c620497564;hb=0264ee034e3f485baf7070ad9b43cf69db94131b;hp=0d6e02e1265e98d47b384f0b0efb87f1dfa0ecc5;hpb=386777d30397b3d87dc88832b57fb897f2e51506;p=helm.git diff --git a/helm/software/lambda-delta/lib/Make b/helm/software/lambda-delta/lib/Make index 0d6e02e12..f0be78e29 100644 --- a/helm/software/lambda-delta/lib/Make +++ b/helm/software/lambda-delta/lib/Make @@ -1 +1 @@ -nUri cps time +nUri cps share log time hierarchy output