[EDUC] workspace pour linux

[Olivier Guillard <mairie AT guillard.nom.fr>]

Bonjour,

Bonne nouvelle : un des enseignants de l'école de mon village est prêt
à passer sous linux pour la classe. Je lui prépare un PC sous linux
mint et suis confronté à un problème.

Il utilise le logiciel workspace pour piloter son TNI or je ne trouve
sur le site de l'éditeur qu'une version pour windows.

Ma compréhension était que ce logiciel était disponible : quelqu'un
peut m'aider ?

Merci,

-- 
      Olivier Guillard
Saint Léger en Yvelines