diff options
| author | David Aspinall | 1999-10-06 10:43:58 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:43:58 +0000 |
| commit | a002dbc150cd76d6cb9cdbaba17f129e3b5bc001 (patch) | |
| tree | 36671c7091a99616fc69596808c982b71862d1b1 /generic | |
| parent | 7c941c69e4d76c9f9c0b7cf3b5779d728c8269e5 (diff) | |
Updates.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 3f9e2622..cfdb6e66 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1295,6 +1295,8 @@ the proof script." (goto-char (point-min)) (proof-retract-until-point-interactive)) + + ;; FIXME da: this could do with some tweaking. Be careful to ;; avoid memory leaks. If a buffer is killed and it's local ;; variables are, then so should all the spans which were allocated |