From: root <root@lahar.helm.cs.unibo.it>
Date: Mon, 5 Oct 2015 14:55:53 +0000 (+0200)
Subject: JOURNAL updated
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e477ff2be762ba333c5c77c14bfdea574c700259;hp=e477ff2be762ba333c5c77c14bfdea574c700259;p=logicplayer.git

JOURNAL updated

The DB name was wrong.
---