Bug fixed: metasenv used in place of metasenv' during rewriting in an

[helm.git] / helm / matita_homepage / matita.xcf

diff --git a/helm/matita_homepage/matita.xcf b/helm/matita_homepage/matita.xcf
index f8bdda3800af0fda7c41d3c09992b16c8d1ac3cd..d4b1804fa76d4b5d94ab962fbc4552252ffb72d0 100644 (file)
Binary files a/helm/matita_homepage/matita.xcf and b/helm/matita_homepage/matita.xcf differ