Jetez un œil aux changements les plus récents de HOTrans Isabelle. La liste suivante affichera toutes les modifications que HOTrans Isabelle a mises en œuvre au cours des 30 derniers jours.