<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
Eliot Miranda wrote:
<blockquote
cite="mid:3ac5ce8a0908070022q6bf141aejc49a48d6fc6ae23b@mail.gmail.com"
type="cite">Hi Torsten,
<div><br>
</div>
<div> that's Cog with a G, as in a component in a gearbox, not Coq
with a Q as in a male chicken.</div>
</blockquote>
<br>
Nor Coq-the-automated-theorem-prover (somewhere way far down on my
to-learn-about queue).<br>
<a class="moz-txt-link-freetext" href="http://en.wikipedia.org/wiki/Coq">http://en.wikipedia.org/wiki/Coq</a><br>
<br>
Cheers,<br>
Josh<br>
<br>
<br>
<blockquote
cite="mid:3ac5ce8a0908070022q6bf141aejc49a48d6fc6ae23b@mail.gmail.com"
type="cite">
<div>thanks</div>
<div>Eliot<br>
<br>
<div class="gmail_quote">On Fri, Aug 7, 2009 at 12:03 AM, Torsten
Bergmann <span dir="ltr"><<a moz-do-not-send="true"
href="mailto:astares@gmx.de">astares@gmx.de</a>></span> wrote:<br>
<blockquote class="gmail_quote"
style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">For
those who dont read vm-dev, here is a short status on Coq.<br>
<br>
Bye<br>
Torsten<br>
<br>
[1] <a moz-do-not-send="true"
href="http://lists.squeakfoundation.org/pipermail/vm-dev/2009-August/002892.html"
target="_blank">http://lists.squeakfoundation.org/pipermail/vm-dev/2009-August/002892.html</a><br>
<font color="#888888">--<br>
Neu: GMX Doppel-FLAT mit Internet-Flatrate + Telefon-Flatrate<br>
für nur 19,99 Euro/mtl.!* <a moz-do-not-send="true"
href="http://portal.gmx.net/de/go/dsl02" target="_blank">http://portal.gmx.net/de/go/dsl02</a><br>
<br>
</font></blockquote>
</div>
<br>
</div>
<pre wrap="">
<hr size="4" width="90%">
</pre>
</blockquote>
<br>
</body>
</html>