diff options
| author | David Aspinall | 1998-10-28 18:11:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-28 18:11:26 +0000 |
| commit | e7d0144d443a28367b165bb407674d2c26e1fe49 (patch) | |
| tree | 403855e572e213d64691a8d369459b5b8ccf9240 /generic | |
| parent | 4aa5ea2110b356cbcb36a338f32b9c2fe468663e (diff) | |
Fixed bug in Isabelle count undos. Now uses undo instead of choplev.
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions