[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/