X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=e0817c219f9702a8b1255d65d9e0692254c32f21;hb=04fd7eb3c5a819f6ae00dd9033493c0aa434d241;hp=7065d3a1f57f92d268404f4c146af178abe93063;hpb=aeb003ab531d9b9faffd46c47204b564009063cf;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index 7065d3a1f..e0817c219 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -207,12 +207,12 @@ define SUMMARY_TEMPLATE
 	@printf '   class "gray"   [ "category"\n'                >> $$@
 	@printf '      [ "objects" * ]\n'                         >> $$@
 	@printf '   ]\n'                                          >> $$@
-	@printf '   class "cyan"   [ "sizes"\n'                   >> $$@
+	@printf '   class "water"  [ "sizes"\n'                   >> $$@
 	@printf '      [ "files"      "$$(S1)" ]\n'               >> $$@
 	@printf '      [ "characters" "$$(S2)" ]\n'               >> $$@
 	@printf '      [ "nodes"      "$$(S4)" ]\n'               >> $$@
 	@printf '   ]\n'                                          >> $$@	
-	@printf '   class "green"  [ "propositions"\n'            >> $$@
+	@printf '   class "grass"  [ "propositions"\n'            >> $$@
 	@printf '      [ "theorems" "$$(P1)" ]\n'                 >> $$@
 	@printf '      [ "lemmas"   "$$(P2)" ]\n'                 >> $$@
 	@printf '      [ "total"    "$$(P3)" ]\n'                 >> $$@