040000 tree 3ef87b66a1faff4af55e9a62e354ebc946a6aa76	codemirror
100644 blob 48854ff3b7225c8b4e8aa8a25754e1d0b7c77b6e	favicon.ico
100644 blob a14042123859f8e2004e358b8cadeadd1496583a	fig4.png
100644 blob 5152905a2b107506a7e8707b658702d12bf76e7c	index.html
100644 blob 48590ecb96a74f5987d125e7fbc5a26c1392543a	jquery.js
100644 blob 01cd2eac72f6f773981a5b74334f22019b682e8b	mode.js
100644 blob a7c65f34523fb11f93444a503a7f6b21dfd0060f	playground.js
100644 blob a0d90efb91b399d261db304c33b97972ad624367	tour.css
100644 blob 140a27001b9aaee445a0f1a8ec9b959a22bc9ea1	tour.js