diff --git a/client/public/locales/it/translation.json b/client/public/locales/it/translation.json new file mode 100644 index 0000000..a38d7fb --- /dev/null +++ b/client/public/locales/it/translation.json @@ -0,0 +1,99 @@ +{ + "Intro": "Introduzione", + "Game Introduction": "Introduzione al gioco", + "World selection": "Selezione del mondo", + "Start": "Via", + "Inventory": "Inventario", + "next level": "livello successivo", + "Next": "Successivo", + "back to world selection": "torna alla selezione del mondo", + "Leave World": "Abbandona mondo", + "previous level": "livello precedente", + "Previous": "Precedente", + "Editor mode is enforced!": "Non è possibile uscire dalla modalità editor!", + "Editor mode": "Modalità editor", + "Typewriter mode": "Modalità interattiva", + "information, Impressum, privacy policy": "informazioni, Impressum, politiche della privacy", + "Preferences": "Preferenze", + "Game Info & Credits": "Info sul gioco & Riconoscimenti", + "Game Info": "Info sul gioco", + "Clear Progress": "Elimina progresso", + "Erase": "Elimina", + "Download Progress": "Scarica progresso", + "Download": "Scarica", + "Load Progress from JSON": "Importa progresso da file JSON", + "Upload": "Importa", + "Home": "Home", + "back to games selection": "torna alla selezione dei giochi", + "close inventory": "chiudi inventario", + "show inventory": "mostra inventario", + "World": "Mondo", + "Show more help!": "Aiutami!", + "Goal": "Goal", + "Objects": "Oggetti", + "Assumptions": "Ipotesi", + "Current Goal": "Goal corrente", + "Further Goals": "Goal successivi", + "No Goals": "Nessun goal", + "Loading goal…": "Sto caricando il goal…", + "Click somewhere in the Lean file to enable the infoview.": "Clicca ovunque nel file Lean per attivare la infoview.", + "Waiting for Lean server to start…": "In attesa dell'avvio del server di Lean…", + "Level completed! 🎉": "Livello completato! 🎉", + "Level completed with warnings 🎭": "Livello completato, ma ci sono dei warning 🎭", + "Failed command": "Comando fallito", + "Retry proof from here": "Ritenta la dimostrazione da qui", + "Retry": "Ritenta", + "Active Goal": "Goal Attivo", + "Crashed! Go to editor mode and fix your proof! Last server response:": "Crash! Rientra in modalità editor e aggiusta la tua dimostrazione! Ultimo messaggio del server:", + "Line": "Linea", + "Character": "Carattere", + "Loading messages…": "Sto caricando i messaggi…", + "Execute": "Esegui", + "Tactics": "Tattiche", + "Definitions": "Definizioni", + "Theorems": "Teoremi", + "Not unlocked yet": "Non ancora sbloccato", + "Not available in this level": "Non disponibile in questo livello", + "A repository of learning games for the proof assistant <1>Lean1> (Lean 4) and its mathematical library <5>mathlib5>": "Un repository di giochi didattici per il proof assistant <1>Lean1> (Lean 4) e la sua libreria matematica <5>mathlib5>", + "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER1> to open a game directly from a local folder.": "Nessun gioco rilevato. Visita <1>http://localhost:3000/#/g/local/FOLDER1> per aprire un gioco da una cartella locale.", + "
As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games.
": "Questo server è eseguito dalle macchine della nostra università, perciò ha una capacità limitata. Stimiamo che può reggere un massimo di 70 giochi simultanei.
", + "<0>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue1> about any problems you experience!0>": "<0>Molti aspetti dei giochi e dell'infrastruttura sono ancora in fase di sviluppo. Segnalaci qualsiasi problema con una <1>Issue su GitHub1>.0>", + "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo1> as a template and read <3>How to Create a Game3>.0><1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above1> also explain the details for how to load your game to the server. We'd like to encourage you to contact us if you have any questions.1>Featured games on this page are added manually. Please get in contact and we'll happily add yours.
": "<0>Se stai pensando di creare un nuovo gioco, ti consigliamo di usare il <1>GameSkeleton disponibile su Github1> come punto di partenza e di leggere la guida <3>How to Create a Game3>.0><1>Puoi caricare direttamente i tuoi giochi nella tua copia del server e testarli allo URL corretto. Le <1>istruzioni su GitHub1> spiegano in dettaglio come caricare il tuo gioco sul server. Per qualsiasi altra domanda, ti invitiamo a contattarci. 1>I giochi in evidenza in questa pagina sono aggiunti manualmente da noi. Se vuoi vedere anche il tuo, scrivici e lo aggiungeremo volentieri.
", + "This server has been developed as part of the project <1>ADAM: Anticipating the Digital Age of Mathematics1> at Heinrich Heine University Düsseldorf.": "Questo server è stato sviluppato all'interno del progetto <1>ADAM: Anticipating the Digital Age of Mathematics1> alla Heinrich Heine University Düsseldorf.", + "Prerequisites": "Prerequisiti", + "Worlds": "Mondi", + "Levels": "Livelli", + "Language": "Language", + "Lean Game Server": "Lean Game Server", + "Server capacity": "Capacità del Server", + "RAM": "RAM", + " used": " in uso", + "CPU": "CPU", + "Development notes": "Note di sviluppo", + "Adding new games": "Aggiungere nuovi giochi", + "Funding": "Fondi", + "Level": "Livello", + "Introduzione": "Introduzione", + "Do you want to delete your saved progress irreversibly?
(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)
": "Vuoi eliminare irreversibilmente il tuo progresso?
(Questa operazione cancellerà il codice delle tue dimostrazioni e il tuo inventario. I dati di salvataggio appartenenti ad altri giochi non verranno eliminati.)
", + "Delete Progress?": "Reset del gioco", + "Delete": "Elimina", + "Download & Delete": "Scarica & Elimina", + "Cancel": "Annulla", + "Mobile": "Mobile", + "Auto": "Auto", + "Desktop": "Desktop", + "Layout": "Layout", + "Always visible": "Sempre visibile", + "Save my settings (in the browser store)": "Salva le mie opzioni (nella memoria del browser)", + "Game rules determine if it is allowed to skip levels and if the games runs checks to only allow unlocked tactics and theorems in proofs.
<1>Note: \"Unlocked\" tactics (or theorems) are determined by two things: The set of minimal tactics needed to solve a level, plus any tactics you unlocked in another level. That means if you unlock <1>simp1> in a level, you can use it henceforth in any level.1>The options are:
": "Le regole del gioco determinano se (1) è permesso saltare i livelli e (2) è permesso usare le tattiche e i teoremi non ancora sbloccati nelle dimostrazioni.
<1>Nota: Le tattiche \"sbloccate\" per un dato livello sono il set minimale di tattiche per risolvere il livello stesso, più tutte le tattiche che hai sbloccato fino a quel punto nel gioco (lo stesso discorso vale per i teoremi). Ad esempio, se sblocchi la tattica <1>simp1> in un livello, puoi usarla da lì in poi nel resto del gioco.1>Le opzioni sono:
", + "Game Rules": "Regole del gioco", + "levels": "livelli", + "tactics": "tattiche", + "regular": "normali", + "relaxed": "semplici", + "none": "nessuna", + "Select a JSON file with the saved game progress to load your progress.
<1><0>Warning:0> This will delete your current game progress! Consider <2>downloading your current progress2> first!1>": "Seleziona il file JSON con i dati di salvataggio da caricare.
<1><0>Attenzione:0> Questa operazione eliminerà il tuo progresso corrente! Considera di <2>scaricare il tuo progresso2> prima!1>", + "Upload Saved Progress": "Importa progresso salvato", + "Load selected file": "Carica file selezionato", + "Rules": "Regole" +} diff --git a/client/src/config.json b/client/src/config.json index 8ae10b0..83c367f 100644 --- a/client/src/config.json +++ b/client/src/config.json @@ -32,6 +32,11 @@ "iso": "ko", "flag": "KR", "name": "한국어" + }, + { + "iso": "it", + "flag": "IT", + "name": "Italiano" } ] }