Aruncă o privire la cele mai recente schimbări de la HOTrans Isabelle. Lista următoare va afișa toate modificările pe care HOTrans Isabelle le-a implementat în ultimele 30 de zile.