[squeak-dev] Status on VM's (Coq, JIT)

For those who dont read vm-dev, here is a short status on Coq.

Bye
Torsten

[1] http://lists.squeakfoundation.org/pipermail/vm-dev/2009-August/002892.html
--
Neu: GMX Doppel-FLAT mit Internet-Flatrate + Telefon-Flatrate
für nur 19,99 Euro/mtl.!* http://portal.gmx.net/de/go/dsl02

Hi Torsten,

Eliot Miranda wrote:

Hi Torsten,

   that's Cog with a G, as in a component in a gearbox, not Coq with a Q as in a male chicken.

Nor Coq-the-automated-theorem-prover (somewhere way far down on my to-learn-about queue).
http://en.wikipedia.org/wiki/Coq

Cheers,
Josh

thanks

Eliot

On Fri, Aug 7, 2009 at 12:03 AM, Torsten Bergmann <[hidden email]> wrote:

For those who dont read vm-dev, here is a short status on Coq.

Bye
Torsten

[1] http://lists.squeakfoundation.org/pipermail/vm-dev/2009-August/002892.html
--
Neu: GMX Doppel-FLAT mit Internet-Flatrate + Telefon-Flatrate
für nur 19,99 Euro/mtl.!* http://portal.gmx.net/de/go/dsl02