Commit 695b5f3705fbdb42dd7422e4dc88f25e895d1406 Parent f22281f2d15a786d512269ddd546b5b4c0462f4c Author John MacFarlane <jgm@berkeley.edu> Date Sun, 26 Oct 2014 21:17:10 -0700 Dingus improvements; moved to top level.