[GeOCaml] news

[Arnaud Doniec]

Bonjour à tous,

La plupart des inscrits ainsi ont certainement reçu le mail de Julien
Narboux...
Pour ceux qui ne l'aurait pas reçu (Régis par ex),
je réexplique vite fait:
Julien travaille sur la démonstration automatique en Coq et vient de
reprendre le développement d'une appli écritre en lablgtk: drgeocaml (un
clone de drgeo)
En attendant de se rencontrer, j'ai proposer à Julien de causer un peu
de tous çà sur la mailing list...

N'hésitez pas à poster ici, çà sera l'occasion d'utiliser cette
mailing... :)

A+

arnaud

PS: Régis je t'ai mis en CC, peux-tu changer ton @ mail c'est encore
celle chez nordnet...