vbraun/sagenb — pull request #1 by kcrisman (2014-10-20 15:19:42+00:00)
Title: correct js for introspection

I don't think you will really want to merge this because of all the extra commits unrelated to this. But I couldn't figure out how to fork the specific branch in question. Anyway, this is what should be done.