From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 6 Dec 2001 08:59:30 +0000 (+0000)
Subject: It now exits gracefully after an End-of-file.
X-Git-Tag: mlminidom_0_2_2~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=daa3373748a896d0b5fc00c0d6b79f59e79a128d;hp=daa3373748a896d0b5fc00c0d6b79f59e79a128d;p=helm.git

It now exits gracefully after an End-of-file.
---