Lógica computacional y teoría de modelos (2019-20) Lógica computacional y teoría de modelos (2019-20)

Lista de cambios con el formato nombre=valor (por ejemplo: skin=vector). Si no se da ningún valor (ni siquiera un signo de igual), por ejemplo: optionname|otheroption|..., la opción se restablecerá a sus valores predeterminados. Si algún valor contiene el carácter tubería (|), se debe utilizar el separador alternativo de múltiples valores para que las operaciones se realicen correctamente.