[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Atelier sur les outils formels libres maintenant sur le wiki. Question sur Apache et redirection


From David MENTRE <dmentre at linux-france dot org>
Subject Atelier sur les outils formels libres maintenant sur le wiki. Question sur Apache et redirection
Date Wed, 13 Dec 2006 19:59:21 +0100

Salut,

Pour info, je viens de migrer les pages concernant l'atelier Outils
formels libres pour la vérification du logiciel et matériel sur le wiki
:
  http://gulliver.eu.org/wiki/AtelierOutilsFormels

En particulier, l'ancien document qui faire l'inventaire des logiciels
dans ce domaine est disponible ici :
  http://gulliver.eu.org/wiki/FreeSoftwareForFormalVerification

J'ai mis à jour la partie WML (i.e. site web statique de Gulliver).

Quelqu'un sait ce qu'il faut écrire dans un .htaccess pour diriger
l'ancienne page sur la nouvelle ?

Amicalement,
d.
-- 
David Mentré <dmentre at linux-france dot org> -- http://gulliver.eu.org/