From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 22 Oct 2004 12:25:34 +0000 (+0000)
Subject: describe exception raised by term_of_uri
X-Git-Tag: V_0_0_10~40
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=7cf0f556e3ef465ae4adf3691fcd3a77b2ae5a8c;hp=7cf0f556e3ef465ae4adf3691fcd3a77b2ae5a8c;p=helm.git

describe exception raised by term_of_uri
---