Index of /CompLangs/Isabelle2023/contrib/jortho-1.0-2/src/com/inet/jortho/i18n
Parent Directory
resource.properties
resource_cs.properties
resource_da.properties
resource_de.properties
resource_es.properties
resource_es_MX.properties
resource_fr.properties
resource_hr.properties
resource_it.properties
resource_nl.properties
resource_pl.properties
resource_pt.properties
resource_ru.properties
resource_sk.properties
resource_sv.properties