diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 10:37:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 10:37:31 +0000 |
commit | 6a135865d263ab7c7efdd985b6ec3d56d8fcfaa2 (patch) | |
tree | 207ce10acffff8319a870b559d0e3097f16f28b4 /generic/proof-auxmodes.el | |
parent | 50ec0f87b471c0bbb6304d3959aa836029e83a3a (diff) |
Add retract buffer to menu
Diffstat (limited to 'generic/proof-auxmodes.el')
0 files changed, 0 insertions, 0 deletions