[JavaScript]HistoryAPIはIEで対応しているの？

改訂第5版 JavaScript ポケットリファレンスには、IEのhistory API対応バージョンが書かれていなかったんだけど、全バージョン対応していないのだろうか？

下のようなプログラムで検証してみる。

console.log(window.history.pushState)

どうやら上のプログラムでは、IE9まではundefinedが返ってくる。

IE10の環境がないので、確認できないのだが、どうやら
history.pushState() の実験
によると、pushStateについては対応しているようだ。