Without looking at the source, I would say it is using the History API introduced in HTML5.

Here is a nice article describing it: http://diveintohtml5.info/history.html

A simple example with source can be found here: http://html5demos.com/history