Eche un vistazo a los cambios más recientes de HOTrans Isabelle. La siguiente lista mostrará todas las modificaciones que HOTrans Isabelle ha implementado en los últimos 30 días.