Do you guys think Bret Victor built an actual editor for his "live editing" demo, or just build enough of a demo to illustrate his principle?

It seems to me that if what he had built was a real editor (i.e. could be used for more than just his Braid demo game), there would be immense value in releasing/selling it.