From: Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
Date: Tue, 30 Apr 2013 16:58:09 +0000 (+0200)
Subject: Merge tag 'upstream/0.2'
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a8625face4ff4ee0db0ce15e77bfbc5db832aa56;p=pkg-cerco%2Facc-trusted.git

Merge tag 'upstream/0.2'

Upstream version 0.2
---

a8625face4ff4ee0db0ce15e77bfbc5db832aa56