From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 21 Feb 2010 19:09:07 +0000 (+0000)
Subject: - we added some syntactic sugar in the text parser
X-Git-Tag: make_still_working~3030
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=28430d599505ac26b51e4887e5196d9b380c898a;hp=28430d599505ac26b51e4887e5196d9b380c898a;p=helm.git

- we added some syntactic sugar in the text parser
---