diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:15:20 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:15:20 +0000 |
commit | d52d7d723b6a48d77a8d399133f0633aed80777e (patch) | |
tree | 673900c12cffb29b54f9191ea0d09f224bc1380f /generic/proof-menu.el | |
parent | f6e93d2ebdde09a3929e071bfe6a62992676f89c (diff) |
auto-solve -> auto-solve-direct for Isabelle2011.
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions