{"shas":[["032a13264cfe545724543c2c4e1f336c7e5216f4","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Define a keymap for proof-view mode.","Jesse Alama"],["06edc5f8cadba4756f392a19c39ba91214258f69","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Say what mode we're in.","Jesse Alama"],["a06a1ecb75754849c1df0554015506be0fb50a28","0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","Flesh out keybindings for view-proof-mode and view-model-mode.","Jesse Alama"]],"ref":"refs/heads/master","size":3,"head":"a06a1ecb75754849c1df0554015506be0fb50a28","push_id":36843504}