diff options
| author | David Aspinall | 1998-11-20 14:24:51 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-20 14:24:51 +0000 |
| commit | 42e140a8405b11a04b309ed3f99805aaa44c5268 (patch) | |
| tree | ffd32fbfd83842e0253da799cab264e03798b8a8 /doc/docstring-magic.el | |
| parent | df5251b00f874b9081cf48a2bda8d848b7710750 (diff) | |
BIG CHANGES -- SORRY!
Replaced proof-script-buffer-list with proof-script-buffer.
The list was causing too much confusion and nasty bugs used with
Isabelle multiple files.
Implemented proof-script-buffers and proof-restart-all-buffers,
other functions.
Diffstat (limited to 'doc/docstring-magic.el')
0 files changed, 0 insertions, 0 deletions