<div dir="ltr">Dear Joe,<div><br></div><div>Sorry for not been "alive" for a while. </div><div>I noticed that there are some files (in <a href="http://hol.ml">hol.ml</a>) not exported to the base.art (mostly things about real numbers). I wonder if there is any reason for that. </div><div><br></div><div>Also, I found there is problem downloading opentheory's hol-light.</div><div><br></div><div>







<p class=""><span class="">$ git clone <a href="http://src.gilith.com/hol-light">http://src.gilith.com/hol-light</a></span></p>
<p class=""><span class="">Cloning into 'hol-light'...</span></p>
<p class=""><span class="">error: Unable to get pack file <a href="http://src.gilith.com/hol-light/objects/pack/pack-05098adefd7d57e51bb015ec2ec1cdb8e262856f.pack">http://src.gilith.com/hol-light/objects/pack/pack-05098adefd7d57e51bb015ec2ec1cdb8e262856f.pack</a></span></p>
<p class=""><span class="">Recv failure: Connection reset by peer</span></p>
<p class=""><span class="">error: Unable to find 78e7e5d91a3b45ac7bd2f32939fe575fe0f18a64 under <a href="http://src.gilith.com/hol-light">http://src.gilith.com/hol-light</a></span></p>
<p class=""><span class="">Cannot obtain needed tree 78e7e5d91a3b45ac7bd2f32939fe575fe0f18a64</span></p>
<p class=""><span class="">while processing commit 9991514634d6ecea96ff4ea3985b069d3c4279ca.</span></p>
<p class=""><span class="">error: fetch failed.</span></p><div><br></div><div>Thanks!</div>Regards,
<div>Robert</div></div></div>