- recreated cicbrowser related screenshots

[helm.git] / helm / papers / matita / pics / cicbrowser-screenshot-query.png

diff --git a/helm/papers/matita/pics/cicbrowser-screenshot-query.png b/helm/papers/matita/pics/cicbrowser-screenshot-query.png
index ad53da5f8764ae567c1dc15e4f9f4e8ce02feef6..c19c38221e4b6eebddbea72b3fb043b874be757d 100644 (file)
Binary files a/helm/papers/matita/pics/cicbrowser-screenshot-query.png and b/helm/papers/matita/pics/cicbrowser-screenshot-query.png differ