From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 11 Feb 2004 11:57:00 +0000 (+0000)
Subject: - getter revolution: split backend and frontend (this is the backend)
X-Git-Tag: V_0_3_0~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=384c369d4cbf5dd6cf1013902d3a218260400e73;hp=384c369d4cbf5dd6cf1013902d3a218260400e73;p=helm.git

- getter revolution: split backend and frontend (this is the backend)
- working remote part but not yet the local one (extra unneeded headers)
---