From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 11 May 2009 21:42:45 +0000 (+0000)
Subject: Buffers are now used everywhere for speed-up.
X-Git-Tag: make_still_working~3995
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ae578957a656e46c86a23626b219f4e841734b18;hp=ae578957a656e46c86a23626b219f4e841734b18;p=helm.git

Buffers are now used everywhere for speed-up.
However, the ppsubst is deadly slow even for not-that-large substitutions.
---