On Fri, Apr 28, 2006 at 05:03:41PM +0200, [EMAIL PROTECTED] wrote: > - anla. > This is usable, online, at http://brion.inria.fr/anla
This should be http://brion.inria.fr/anla/ -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen