Well, according to my memory, there are actually three driver links on your Windows instruction page. Two of them download with an installer inside them and the third one does not (so I did not know what to do with those). Also, unless I just missed some important instructions, the installation procedure given at TI is the typical Windows wizard-invoked method. All I know is, I had to go that route before I could get the TIVA to work.
So far I have been able to get Energia running well on Mac OS (less than 5 minutes including download time) and Windows XP (NOT less than 5 minutes :-)). In my experience downloading and installing (attempting to at least) the drivers from the Energia Windows instructions page does not work. Can't communicate with the device. I was able to get it to work by downloading the Stellaris drivers directly from TI and following their installation instructions. What you need can be found at the TI http://www.ti.com/tool/stellaris_icdi_drivers'>Stellaris