Sono ora su Windows 7, il tasto F12 funziona.
Si apre una barra tipo "Firebug" e lì è possibile scegliere la modalità, da IE7 a IE10.