View generated source in IE 10

Question

I'm trying to find a way to view the generated source using IE 10. With the Chrome dev tools and Firebug I can see the HTML source post JavaScript/AJAX operations but in IE 10 the view source command and dev tools both only show the downloaded source.

I'm building a single page javascript web app and am running into an issue in the generated source that only happens in IE. Using something like ChromeFrame or punting on the issue is not an option. I need to find and fix the root issue that is causing it in IE.

Do you all know of a different set of dev tools or a toolbar that is produced for IE 10 that will allow me to inspect this elusive generated html?

Thanks!

Answer 1

Just press F12. If the DOM was manipulated via AJAX, you'll need to use the blue refresh button per the comments below.

Answer 2

I use alert(document.documentElement.outerHTML) to achieve this