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)
few more interactive cleanups and more functionality


Trivial merge