(or did they ever work?)
See: http://e2e.ti.com/support/microcontrollers/stellaris_arm/f/901/p/258137/903324.aspx
The Tivaware software "home" page can be accessed from http://www.ti.com/stellarisware but not http://www.ti.com/tivaware !
But all of the links from that page are broken!
Get TivaWare now! - http://www.ti.com/tool/sw-tm4c
- Get the Graphics Library - http://www.ti.com/tool/sw-tm4c-grl
- Get the Peripheral Driver Library - http://www.ti.com/tool/sw-tm4c-drl
- Get the USB Library - http://www.ti.com/tool/sw-tm4c-usbl