diff options
| author | David Aspinall | 2000-06-05 13:56:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-05 13:56:18 +0000 |
| commit | 051727fb799314bf6a4376317b8fbeb44a77dc74 (patch) | |
| tree | 1e3cc9fc77d726fa6dc47d0912b710a73a181d33 /isa/Example.ML | |
| parent | 58d65f5d505f3e918ec117af799cadf876d2ec2f (diff) | |
Added paragraph and index entry explaining prefix arguments,
and some more on keystrokes, for the Emacs-impoverished users.
Added doc of proof-display-some-buffers
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions