From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Thu, 19 May 2011 10:36:25 +0000 (+0000)
Subject: Porting to the new pts.
X-Git-Tag: make_still_working~2513
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b32930d447307fd0f6b282c52bba9584296f25b3;hp=b32930d447307fd0f6b282c52bba9584296f25b3;p=helm.git

Porting to the new pts.
---