diff options
| author | David Aspinall | 2009-08-17 12:51:00 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-17 12:51:00 +0000 |
| commit | 30c3e19581df7c2c65e999681cb69e6c8b987c43 (patch) | |
| tree | b1c160eb72938f473a952181a499cc0680adeb9e /isar/Example.thy | |
| parent | 2cad83b7b2ab94cbf7c7d234f7699d634ebf660b (diff) | |
Move the overlay arrow backwards in case of edits above it which
affect the next position to be processed.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions