Merge pull request #25 from vapier/master
authorAndrew Waterman <waterman@eecs.berkeley.edu>
Sat, 6 Jun 2015 02:00:16 +0000 (19:00 -0700)
committerAndrew Waterman <waterman@eecs.berkeley.edu>
Sat, 6 Jun 2015 02:00:16 +0000 (19:00 -0700)
commite6b63b9876a973502ce3fce58c063afdfd5e36b8
treebdd1d7a2b1efe708a22e7549ef06466005a937ee
parent79fbc15198fd83fd0413a002b23060deb8facb37
parent3e8ad1eab377710dd1f2df192bdec20536b11840
Merge pull request #25 from vapier/master

few more interactive cleanups and more functionality