Logiciel SYNTAX



Participants : Pierre Boullier, Philippe Deschamp.

La version 3.8h de SYNTAX est actuellement disponible sous FTP à http://www-rocq.inria.fr/oscar/FNC-2/getfnc2.html pour les plateformes Linux/Pentium, SunOs/Sparc et Solaris/Sparc.

La version 3.9 de SYNTAX est actuellement en cours de réalisation. Elle comprendra

Cette version 3.9 est en cours de portage sur les plateformes Linux, SunOs, Solaris et, nouveauté, sur Windows-NT.