reshaped the "authoring interface" part

[helm.git] / helm / papers / matita / libraries-clusters.png

diff --git a/helm/papers/matita/libraries-clusters.png b/helm/papers/matita/libraries-clusters.png
index d3e52763ea3eb90923f3cddd386b670a3ffac781..5adbc2fdee0f4c5ab55b15ff35ae444ce47e11cc 100644 (file)
Binary files a/helm/papers/matita/libraries-clusters.png and b/helm/papers/matita/libraries-clusters.png differ