diff options
| author | David Aspinall | 2010-08-04 00:15:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-04 00:15:47 +0000 |
| commit | 5e9b093e19440a47e64a0d15904537dd2b16f3d3 (patch) | |
| tree | 7d64af6b3917f6e41d321aaf4cc6e232ea8ad747 /generic/proof-syntax.el | |
| parent | 52096babd73fdefd3791b9351cb8cf055f096ee3 (diff) | |
isar-remove-file: remove (tail) recursion, leads to stack overflow
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions