diff options
| author | David Aspinall | 2012-09-02 21:44:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2012-09-02 21:44:46 +0000 |
| commit | 6dff5d581c61447b71aaa1fd1c66be16f72aa36c (patch) | |
| tree | e464b28730a72c2adf239b9ece67feac07bb9003 /lib/proof-compat.el | |
| parent | 6945689cefadbd46258d3cebad4eeb8790f485be (diff) | |
Repair operation with compiled code. Fails with interpreter, see Trac #445
Diffstat (limited to 'lib/proof-compat.el')
0 files changed, 0 insertions, 0 deletions