<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">Am 19.10.13 17:15, schrieb Bob Arning:<br>
</div>
<blockquote cite="mid:5262A207.5040104@comcast.net" type="cite">
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
<font face="Georgia">I will give it a try as soon as <a
moz-do-not-send="true" class="moz-txt-link-freetext"
href="https://ci.lille.inria.fr">https://ci.lille.inria.fr</a>
is back up.<br>
<br>
Cheers,<br>
Bob<br>
</font><br>
</blockquote>
Try <a class="moz-txt-link-freetext" href="http://files.pharo.org/vm/pharo/mac">http://files.pharo.org/vm/pharo/mac</a><br>
<br>
Regards,<br>
Andreas<br>
</body>
</html>