diff options
| author | David Aspinall | 2002-01-15 15:14:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-01-15 15:14:19 +0000 |
| commit | 44880a9e0486db03afbb462d62ccee67daf8881f (patch) | |
| tree | f0348eefd46a3fc6980305cad7902a599a5e66c5 /isar/Example.thy | |
| parent | 81bc37ba8e26df936d3a09e02e6ed70f8b8804a8 (diff) | |
windows-of-buffer -> get-buffer-window-list GNU name
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions