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.