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/pg-pamacs.el | |
| parent | f6e93d2ebdde09a3929e071bfe6a62992676f89c (diff) | |
auto-solve -> auto-solve-direct for Isabelle2011.
Diffstat (limited to 'generic/pg-pamacs.el')
0 files changed, 0 insertions, 0 deletions