diff options
| author | David Aspinall | 2012-02-08 15:57:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-02-08 15:57:56 +0000 |
| commit | ef2ce75bdb5c78aad5ae4b2a1ff94e539fc10e0c (patch) | |
| tree | 8acc878ece5f7ea691c19368baabdea72fe85b4b /generic/proof-script.el | |
| parent | 7cc95a00fda26cbd6694075dca74b16c6c54f016 (diff) | |
Try to make evars output match what is expected by Prooftree
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions