HDMI está baneado por "Troll"
gracias por la ayuda, pero tengo todo instalado.
De todas formas me funciona bien la versión 17, pero no así las versiones 31 y 32.
La 25 parece que vaya pero después de meter todo en la tarjeta de memoria (previamente formateada con la consola), luego en la consola no aparecen las demos ni nada. Vamos, esa versión es mala.
Yo creo que tendrá algo que ver con que mi Windows 7 sea de 64 bits o algún dll corrupto que tenga o vete a saber, porque la versión 17 si que me funciona.
¿qué mejoras significativas lleva la Beta 3 de la versión 32?