diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 23:24:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-18 23:24:29 -0700 |
commit | 354333f98a8fa668c082547ed0e989a1ada42c6f (patch) | |
tree | ca7091a238d6cb7fab4bc9efd567e8e9c9b95375 /src/proof/live | |
parent | e86e4b66986f59ca7e7a99c97a879ab785ac7bf4 (diff) | |
download | abc-354333f98a8fa668c082547ed0e989a1ada42c6f.tar.gz abc-354333f98a8fa668c082547ed0e989a1ada42c6f.tar.bz2 abc-354333f98a8fa668c082547ed0e989a1ada42c6f.zip |
Changing command 'history' to have simpler interface.
Diffstat (limited to 'src/proof/live')
0 files changed, 0 insertions, 0 deletions