diff --git a/client/public/locales/es/translation.json b/client/public/locales/es/translation.json index 550cdde2..af7354d5 100644 --- a/client/public/locales/es/translation.json +++ b/client/public/locales/es/translation.json @@ -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>Lean1> (Lean 4) and its mathematical library <5>mathlib5>": "", - "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER1> to open a game directly from a local folder.": "", - "
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.
<1>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!1>": "", - "<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.
": "", - "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics1> at Heinrich-Heine-Universität in Düsseldorf.": "", - "Prerequisites": "", - "Worlds": "", - "Levels": "", - "Language": "", - "Lean Game Server": "", - "Development notes": "", - "Adding new games": "", - "Funding": "", - "Level": "", - "Introduction": "", - "Do you want to delete your saved progress irreversibly?
(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)
": "", - "Delete Progress?": "", - "Delete": "", - "Download & Delete": "", - "Cancel": "", - "Mobile": "", - "Auto": "", - "Desktop": "", - "Layout": "", - "Always visible": "", - "Save my settings (in the browser store)": "", - "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:
": "", - "Game Rules": "", - "levels": "", - "tactics": "", - "regular": "", - "relaxed": "", - "none": "", - "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>": "", - "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>Lean1> (Lean 4) and its mathematical library <5>mathlib5>": "Un repositorio de juegos para aprender el asistente de demostración <1>Lean1>, (Lean 4) y su biblioteca matemática <5>mathlib5> ", + "No Games loaded. Use <1>http://localhost:3000/#/g/local/FOLDER1> to open a game directly from a local folder.": "No se ha cargado ningún juego. Use <1>http://localhost:3000/#/g/local/FOLDER1> para abrir un juego directamente desde una carpeta local", + "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.
<1>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!1>": "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.
. <1>Muchos aspectos de los juegos y la infrastructura están aún en desarrollo. No dude en abrir una <1>GitHub Issue1> sobre cualquier problema que experimente.1>", + "<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>Si está considerando escribir su propio juego, use el <1>GameSkeleton Github Repo1> como plantilla y lea <3>How to Create a Game3>.0><1>Puede cargar directamente los juegos en el servidor y jugarlo usando la URL adecuada. Las <1>instrucciones anteriores1> 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>Los juegos incluidos en esta página son añadidos manualmente. Por favor, contactenos y añadiremos el suyo encantados.
", + "This server has been developed as part of the project <1>ADAM : Anticipating the Digital Age of Mathematics1> at Heinrich-Heine-Universität in Düsseldorf.": "Este servidor se ha desarrollado como parte del proyecto <1>ADAM : Anticipating the Digital Age of Mathematics1> 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", + "Do you want to delete your saved progress irreversibly?
(This deletes your proofs and your collected inventory. Saves from other games are not deleted.)
" : "¿Desea eliminar su progreso guardado definitivamente?
(Esto elimina sus pruebas y su inventario recopilado. Los progresos guardados de otros juegos no se eliminan.)
", + "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)", + "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:
": "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.
<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>simp1> en un nivel, puedes usarlo a partir de entonces en cualquier nivel.1>Las opciones son:
", + "Game Rules": "Reglas del juego", + "levels": "niveles", + "tactics": "tácticas", + "regular": "normal", + "relaxed": "relajado", + "none": "ninguno", + "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>": "Seleccione un archivo JSON con el progreso del juego guardado para cargar su progreso.
<1><0>Advertencia:0> Esto borrará su progreso actual en el juego. Considere <2>descargar su progreso actual2> antes1>", + "Upload Saved Progress": "Subir progreso guardado", + "Load selected file": "Cargar archivo seleccionado", + "Rules": "Reglas" }