tree 584d9e0783673aeb1e4c64f26dd0268223e1c2df
parent 43b98fe6c47c25d39239ccf84ace9aa33266467e
author Zhenkai Zhu <zhenkai@cs.ucla.edu> 1338924539 -0700
committer Zhenkai Zhu <zhenkai@cs.ucla.edu> 1338924539 -0700

access seq of self;
tweak gui