From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 26 Dec 2002 19:30:00 +0000 (+0000)
Subject: - added maps sync
X-Git-Tag: v0_3_99~114
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=e7ab167b72dc48d260d82060949e8ebe7d27764c;hp=e7ab167b72dc48d260d82060949e8ebe7d27764c;p=helm.git

- added maps sync
---