-
Notifications
You must be signed in to change notification settings - Fork 42
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #234 from miguelmarco/patch-1
Spanish translation of the UI
- Loading branch information
Showing
1 changed file
with
93 additions
and
93 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,94 +1,94 @@ | ||
| { | ||
| "Intro": "", | ||
| "Game Introduction": "", | ||
| "World selection": "", | ||
| "Start": "", | ||
| "Inventory": "", | ||
| "next level": "", | ||
| "Next": "", | ||
| "back to world selection": "", | ||
| "Leave World": "", | ||
| "previous level": "", | ||
| "Previous": "", | ||
| "Editor mode is enforced!": "", | ||
| "Editor mode": "", | ||
| "Typewriter mode": "", | ||
| "information, Impressum, privacy policy": "", | ||
| "Preferences": "", | ||
| "Game Info & Credits": "", | ||
| "Game Info": "", | ||
| "Clear Progress": "", | ||
| "Erase": "", | ||
| "Download Progress": "", | ||
| "Download": "", | ||
| "Load Progress from JSON": "", | ||
| "Upload": "", | ||
| "Home": "", | ||
| "back to games selection": "", | ||
| "close inventory": "", | ||
| "show inventory": "", | ||
| "World": "", | ||
| "Show more help!": "", | ||
| "Goal": "", | ||
| "Objects": "", | ||
| "Assumptions": "", | ||
| "Current Goal": "", | ||
| "Further Goals": "", | ||
| "No Goals": "", | ||
| "Loading goal…": "", | ||
| "Click somewhere in the Lean file to enable the infoview.": "", | ||
| "Waiting for Lean server to start…": "", | ||
| "Level completed! 🎉": "", | ||
| "Level completed with warnings 🎭": "", | ||
| "Failed command": "", | ||
| "Retry proof from here": "", | ||
| "Retry": "", | ||
| "Active Goal": "", | ||
| "Crashed! Go to editor mode and fix your proof! Last server response:": "", | ||
| "Line": "", | ||
| "Character": "", | ||
| "Loading messages…": "", | ||
| "Execute": "", | ||
| "Tactics": "", | ||
| "Definitions": "", | ||
| "Theorems": "", | ||
| "Not unlocked yet": "", | ||
| "Not available in this level": "", | ||
| "A repository of learning games for the proof assistant <1>Lean</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5>": "", | ||
| "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder.": "", | ||
| "<p>As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.</p><1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue</1> about any problems you experience!</1>": "", | ||
| "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo</1> as a template and read <3>How to Create a Game</3>.</0><1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above</1> 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><p>Featured games on this page are added manually. Please get in contact and we'll happily add yours.</p>": "", | ||
| "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics</1> at Heinrich-Heine-Universität in Düsseldorf.": "", | ||
| "Prerequisites": "", | ||
| "Worlds": "", | ||
| "Levels": "", | ||
| "Language": "", | ||
| "Lean Game Server": "", | ||
| "Development notes": "", | ||
| "Adding new games": "", | ||
| "Funding": "", | ||
| "Level": "", | ||
| "Introduction": "", | ||
| "<p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)</p>": "", | ||
| "Delete Progress?": "", | ||
| "Delete": "", | ||
| "Download & Delete": "", | ||
| "Cancel": "", | ||
| "Mobile": "", | ||
| "Auto": "", | ||
| "Desktop": "", | ||
| "Layout": "", | ||
| "Always visible": "", | ||
| "Save my settings (in the browser store)": "", | ||
| "<p>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.</p><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>simp</1> in a level, you can use it henceforth in any level.</1><p>The options are:</p>": "", | ||
| "Game Rules": "", | ||
| "levels": "", | ||
| "tactics": "", | ||
| "regular": "", | ||
| "relaxed": "", | ||
| "none": "", | ||
| "<p>Select a JSON file with the saved game progress to load your progress.</p><1><0>Warning:</0> This will delete your current game progress! Consider <2>downloading your current progress</2> first!</1>": "", | ||
| "Upload Saved Progress": "", | ||
| "Load selected file": "", | ||
| "Rules": "" | ||
| { | ||
| "Intro": "Introducción", | ||
| "Game Introduction": "Introducción del juego", | ||
| "World selection": "Seleccionar mundo", | ||
| "Start": "Empezar", | ||
| "Inventory": "Inventario", | ||
| "next level": "siguiente nivel", | ||
| "Next": "Siguiente", | ||
| "back to world selection": "volver a la selección de mundos", | ||
| "Leave World": "Abandonar mundo", | ||
| "previous level": "nivel anterior", | ||
| "Previous": "Anterior", | ||
| "Editor mode is enforced!": "¡El modo editor es obligatorio!", | ||
| "Editor mode": "Modo editor", | ||
| "Typewriter mode": "Modo línea a línea", | ||
| "information, Impressum, privacy policy": "información, Impressum, política de privacidad", | ||
| "Preferences": "Preferencias", | ||
| "Game Info & Credits": "Información del juego y reconocimientos", | ||
| "Game Info": "Información del juego", | ||
| "Clear Progress": "Limpiar el progreso", | ||
| "Erase": "Borrar", | ||
| "Download Progress": "Descargar progreso", | ||
| "Download": "Descargar", | ||
| "Load Progress from JSON": "Cargar progreso desde JSON", | ||
| "Upload": "Subir", | ||
| "Home": "Inicio", | ||
| "back to games selection": "volver a la selección de juegos", | ||
| "close inventory": "cerrar inventario", | ||
| "show inventory": "mostrar inventario", | ||
| "World": "Mundo", | ||
| "Show more help!": "¡Mostrar más ayuda!", | ||
| "Goal": "Objetivo", | ||
| "Objects": "Objetos", | ||
| "Assumptions": "Hipótesis", | ||
| "Current Goal": "Objetivo actual", | ||
| "Further Goals": "Objetivos pendientes", | ||
| "No Goals": "Sin objetivos", | ||
| "Loading goal…": "Cargando objetivo…", | ||
| "Click somewhere in the Lean file to enable the infoview.": "Pulsa en algún lugar del archivo Lean para habilitar la vista de información.", | ||
| "Waiting for Lean server to start…": "Esperando a que el servidor Lean se inicie…", | ||
| "Level completed! 🎉": "Nivel completado 🎉", | ||
| "Level completed with warnings 🎭": "Nivel completado con advertencias 🎭", | ||
| "Failed command": "Comando fallido", | ||
| "Retry proof from here": "Reintentar la prueba desde aquí", | ||
| "Retry": "Reintentar", | ||
| "Active Goal": "Objetivo activo", | ||
| "Crashed! Go to editor mode and fix your proof! Last server response:": "¡Error! Vaya al modo editor y corrija su prueba. Última respuesta del servidor:", | ||
| "Line": "Línea", | ||
| "Character": "Carácter", | ||
| "Loading messages…": "Cargando mensajes…", | ||
| "Execute": "Ejecutar", | ||
| "Tactics": "Tácticas", | ||
| "Definitions": "Definiciones", | ||
| "Theorems": "Teoremas", | ||
| "Not unlocked yet": "No desbloqueado aún", | ||
| "Not available in this level": "No disponible en este nivel", | ||
| "A repository of learning games for the proof assistant <1>Lean</1> <i>(Lean 4)</i> and its mathematical library <5>mathlib</5>": "Un repositorio de juegos para aprender el asistente de demostración <1>Lean</1>, <i>(Lean 4)</i> y su biblioteca matemática <5>mathlib</5> ", | ||
| "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER</1> to open a game directly from a local folder.": "No se ha cargado ningún juego. Use <1>http://localhost:3000/#/g/local/FOLDER</1> para abrir un juego directamente desde una carpeta local", | ||
| "<p>As this server runs lean on our university machines, it has a limited capacity. Our current estimate is about 70 simultaneous games. We hope to address and test this limitation better in the future.</p><1>Most aspects of the games and the infrastructure are still in development. Feel free to file a <1>GitHub Issue</1> about any problems you experience!</1>": "<p>Como este servidor corre en máquinas de nuestra universidad, tiene una capacidad limitada. Nuestra estimación actual es de unos 70 juegos simultaneos. Esperamos afrontar y comprobar mejor esta limitación en el futuro.</p>. <1>Muchos aspectos de los juegos y la infrastructura están aún en desarrollo. No dude en abrir una <1>GitHub Issue</1> sobre cualquier problema que experimente.</1>", | ||
| "<0>If you are considering writing your own game, you should use the <1>GameSkeleton Github Repo</1> as a template and read <3>How to Create a Game</3>.</0><1>You can directly load your games into the server and play it using the correct URL. The <1>instructions above</1> 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><p>Featured games on this page are added manually. Please get in contact and we'll happily add yours.</p>": "<0>Si está considerando escribir su propio juego, use el <1>GameSkeleton Github Repo</1> como plantilla y lea <3>How to Create a Game</3>.</0><1>Puede cargar directamente los juegos en el servidor y jugarlo usando la URL adecuada. Las <1>instrucciones anteriores</1> también explican los detalles sobre cómo cargar su juego en el servidor. Le animamos a ponerse en contacto con nosotros si tiene preguntas.</1><p>Los juegos incluidos en esta página son añadidos manualmente. Por favor, contactenos y añadiremos el suyo encantados.</p>", | ||
| "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics</1> at Heinrich-Heine-Universität in Düsseldorf.": "Este servidor se ha desarrollado como parte del proyecto <1>ADAM : Anticipating the Digital Age of Mathematics</1> en la Heinrich-Heine-Universität de Düsseldorf.", | ||
| "Prerequisites": "Requisitos previos", | ||
| "Worlds": "Mundos", | ||
| "Levels": "Niveles", | ||
| "Language": "Idioma", | ||
| "Lean Game Server": "Servidor de Juegos de Lean", | ||
| "Development notes": "Notas de desarrollo", | ||
| "Adding new games": "Añadir nuevos juegos", | ||
| "Funding": "Financiación", | ||
| "Level": "Nivel", | ||
| "Introduction": "Introducción", | ||
| "<p>Do you want to delete your saved progress irreversibly?</p><p>(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)</p>" : "<p>¿Desea eliminar su progreso guardado definitivamente?</p><p>(Esto elimina sus pruebas y su inventario recopilado. Los progresos guardados de otros juegos no se eliminan.)</p>", | ||
| "Delete Progress?": "¿Borrar Progreso?", | ||
| "Delete": "Borrar", | ||
| "Download & Delete": "Descargar y Borrar", | ||
| "Cancel": "Cancelar", | ||
| "Mobile": "Móvil", | ||
| "Auto": "Automático", | ||
| "Desktop": "Escritorio", | ||
| "Layout": "Diseño", | ||
| "Always visible": "Siempre visible", | ||
| "Save my settings (in the browser store)": "Guardar mis ajustes (en el almacenamiento del navegador)", | ||
| "<p>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.</p><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>simp</1> in a level, you can use it henceforth in any level.</1><p>The options are:</p>": "<p>Las reglas del juego determinan si se permite saltarse niveles y si el juego realiza comprobaciones para permitir únicamente tácticas y teoremas desbloqueados en las pruebas.</p><1>Nota: las tácticas (o teoremas) \"Desbloqueadas\" está determinadas por dos cosas: el conjunto mínimo de tácticas necesarias para resolver un nivel, más cualquier táctica que hayas desbloqueado en otro nivel. Esto significa que si desbloqueas <1>simp</1> en un nivel, puedes usarlo a partir de entonces en cualquier nivel.</1><p>Las opciones son:</p>", | ||
| "Game Rules": "Reglas del juego", | ||
| "levels": "niveles", | ||
| "tactics": "tácticas", | ||
| "regular": "normal", | ||
| "relaxed": "relajado", | ||
| "none": "ninguno", | ||
| "<p>Select a JSON file with the saved game progress to load your progress.</p><1><0>Warning:</0> This will delete your current game progress! Consider <2>downloading your current progress</2> first!</1>": "<p>Seleccione un archivo JSON con el progreso del juego guardado para cargar su progreso.</p><1><0>Advertencia:</0> Esto borrará su progreso actual en el juego. Considere <2>descargar su progreso actual</2> antes</1>", | ||
| "Upload Saved Progress": "Subir progreso guardado", | ||
| "Load selected file": "Cargar archivo seleccionado", | ||
| "Rules": "Reglas" | ||
| } |