From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 29 May 2007 17:29:19 +0000 (+0000)
Subject: 1. Profiling enabled.
X-Git-Tag: make_still_working~6271
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=684989d19181ff812564ddc5d17f709a7e990cba;hp=684989d19181ff812564ddc5d17f709a7e990cba;p=helm.git

1. Profiling enabled.
2. Dotfile inserted into log.ma for debugging pourposes.
---