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 _______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
