Взгляните на самые последние изменения от HOTrans Isabelle. В следующем списке будут отображены все модификации, которые HOTrans Isabelle внедрил за последние 30 дней.