Contribuciones del usuario Rafaeher
Apariencia
Para Rafaeher discusión registro de bloqueos subidas registros cuentas globales registro del filtro antiabusos
Usuario con 3 ediciones. Cuenta creada el 2 oct 2018.
3 ene 2019
- 19:1419:14 3 ene 2019 difs. hist. +5229 N Verificación de software Creado al traducir la página «Software verification» Etiquetas: Traducción de contenido Traducción de contenido, versión 2
- 15:4215:42 3 ene 2019 difs. hist. +107 Dafny He cambiado lo que contienen los dos ejemplos de código fuente, principalmente los comentarios (para que estén traducidos a español), así como algunos métodos y parámetros. Etiqueta: Edición visual
- 15:3315:33 3 ene 2019 difs. hist. +10 371 N Dafny Creado al traducir la página «Dafny» Etiquetas: sin categorizar Traducción de contenido