X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2FMakefile;h=6bb4350829abcfefd3ce85cf91b5d5b89cbe26e5;hb=a09b60bd574adf1a7d3e423023009cb20c79d449;hp=cd6bcea179351ebe5bdb3b7229d44ece14bc6ad1;hpb=09b4420070d6a71990e16211e499b51dbb0742cb;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index cd6bcea17..6bb435082 100644
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -4,14 +4,14 @@ H    := @
 TRIM := sed "s/ \\+$$//"
 
 XOA_CONF     := ground_2/xoa.conf.xml
-XOA_TARGETS  := ground_2/notation/xoa_notation.ma ground_2/xoa/xoa.ma
+XOA_TARGETS  := ground_2/notation/xoa/notation.ma ground_2/xoa/xoa.ma
 
 XOA_DIR      := ../../../components/binaries/xoa
 XOA          := xoa.native
 XOA_OPTS     := ../../matita.conf.xml $(XOA_CONF)
 
 XOA2_CONF    := ground_2/xoa2.conf.xml
-XOA2_TARGETS := ground_2/notation/xoa2_notation.ma ground_2/xoa/xoa2.ma
+XOA2_TARGETS := ground_2/notation/xoa/notation2.ma ground_2/xoa/xoa2.ma
 XOA2_OPTS    := ../../matita.conf.xml $(XOA2_CONF)
 
 DEP_INPUT    := .depend
@@ -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 "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 "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'                 >> $$@