<div dir="ltr">Dear Joe,<br><br>I noticed that I can't using import for the current version (version 6). I am using the one from:<br><br>git clone <a href="http://src.gilith.com/hol-light">http://src.gilith.com/hol-light</a><br><br><br>I wonder if you have implemented it/updated the <a href="http://import.ml">import.ml</a> file, so I won't have to redo your work.<br><br><br>Thanks<br><br>Robert<br><div class="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><br></div><div><br></div></div></div></div></div></div>
</div>