From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 Dec 2002 10:48:39 +0000 (+0000)
Subject: - added comments
X-Git-Tag: v0_3_99~102
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3e872308eb13fac1217091154999ea53fb957bf;hp=c3e872308eb13fac1217091154999ea53fb957bf;p=helm.git

- added comments
- moved here http_get
---