040000 tree cf148c70c2653ae8b6141bb5382ed1ce4d23f374	codemirror
100644 blob 48854ff3b7225c8b4e8aa8a25754e1d0b7c77b6e	favicon.ico
100644 blob a14042123859f8e2004e358b8cadeadd1496583a	fig4.png
100644 blob 11d01aeaaa0c6769d208d9d53cfd00d8585dd2b5	gopher.png
100644 blob 48590ecb96a74f5987d125e7fbc5a26c1392543a	jquery.js
100644 blob 38c0cdb5e4dcc17077429fa754db89dcf474345f	lang.js
100644 blob 01cd2eac72f6f773981a5b74334f22019b682e8b	mode.js
100644 blob cfcb3e18f0c83b89111675aff9172854e62c5b79	tocbtn.png
100644 blob 339b3d7f68b51dabf74e44940e932ade261b873e	tour.css
100644 blob 5569ab40b1f82252de91fff5088e97372ed0c626	tour.js