--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on January 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Contact web page



En fait, je me reponds a moi-meme en me mettant a l'amende: cette liste 
est destinee aux utilisateurs externes de Frama-C. On doit y parler en 
anglais, et parler de choses concernant les utilisateurs. La forge inria 
propose par defaut une autre liste frama-c-commits: pensez-vous que je 
doive l'activer, pour que ceux qui modifient les sources expliquent leur 
modifs ? En fait vous avez deja une liste pour cela non ? (mais je n'y 
suis pas inscrit...)

- Claude

Claude March? wrote:
> 
> Je viens de changer la page contact.prehtml du repo CVS. Benjamin, 
> peux-tu l'installer sur la page web ?
> 
> 

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |