From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 18 Nov 2005 16:51:47 +0000 (+0000)
Subject: added support for enabling/disabling (pretty printing) notation
X-Git-Tag: V_0_7_2_3~37
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=f28ada124237ae2f481c8ed625de80dab5f55dbf;hp=f28ada124237ae2f481c8ed625de80dab5f55dbf;p=helm.git

added support for enabling/disabling (pretty printing) notation
---