- exclusion binder in local environments

[helm.git] / matita / matita / contribs / lambdadelta / Makefile

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index e0817c219f9702a8b1255d65d9e0692254c32f21..6bb4350829abcfefd3ce85cf91b5d5b89cbe26e5 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -204,20 +204,20 @@ define SUMMARY_TEMPLATE
        @printf '  SUMMARY $(1)\n'
        @printf 'name "$$(basename $$(@F))"\n\n'                  >  $$@
        @printf 'table {\n'                                       >> $$@
-       @printf '   class "gray"   [ "category"\n'                >> $$@
+       @printf '   class "gray"  [ "category"\n'                 >> $$@
        @printf '      [ "objects" * ]\n'                         >> $$@
        @printf '   ]\n'                                          >> $$@
-       @printf '   class "water"  [ "sizes"\n'                   >> $$@
+       @printf '   class "water" [ "sizes"\n'                    >> $$@
        @printf '      [ "files"      "$$(S1)" ]\n'               >> $$@
        @printf '      [ "characters" "$$(S2)" ]\n'               >> $$@
        @printf '      [ "nodes"      "$$(S4)" ]\n'               >> $$@
        @printf '   ]\n'                                          >> $$@        
-       @printf '   class "grass"  [ "propositions"\n'            >> $$@
+       @printf '   class "green" [ "propositions"\n'             >> $$@
        @printf '      [ "theorems" "$$(P1)" ]\n'                 >> $$@
        @printf '      [ "lemmas"   "$$(P2)" ]\n'                 >> $$@
        @printf '      [ "total"    "$$(P3)" ]\n'                 >> $$@
        @printf '   ]\n'                                          >> $$@
-       @printf '   class "yellow" [ "concepts"\n'                >> $$@
+       @printf '   class "grass" [ "concepts"\n'                 >> $$@
        @printf '      [ "declared" "$$(C1)" ]\n'                 >> $$@
        @printf '      [ "defined"  "$$(C2)" ]\n'                 >> $$@
        @printf '      [ "total"    "$$(C3)" ]\n'                 >> $$@