From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 14 Jul 2005 16:38:04 +0000 (+0000)
Subject: snapshot, notably:
X-Git-Tag: pre_notation~11
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=34113d572c334c351ba66f4b05db503eed4d48f2;hp=34113d572c334c351ba66f4b05db503eed4d48f2;p=helm.git

snapshot, notably:
- started merge with cic_transformations, ATM all available matita
  scripts are parseable with test_parser fed with doc/core_notation.ma
---