diff options
| author | David Aspinall | 2006-09-24 15:05:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-24 15:05:35 +0000 |
| commit | c564bc93d68696dd6b1dc44933e23c1d24656e94 (patch) | |
| tree | c890d44e7944433bdfd2b7afedde3674e37f086e /isa/Example.thy | |
| parent | a744114658a01e46f16eec510e313b72da532aa0 (diff) | |
Add buffer history browsing
Diffstat (limited to 'isa/Example.thy')
0 files changed, 0 insertions, 0 deletions