diff options
| author | David Aspinall | 2001-05-03 22:28:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-05-03 22:28:51 +0000 |
| commit | 9aba96204a685ebfee49cfea1a8abe24d772da56 (patch) | |
| tree | dc330dd4b0c48d6a3547b67738daac5e56cdd4da /generic/proof-splash.el | |
| parent | 803491e3d8dbd4a4647e46ec7985d4c29d30c930 (diff) | |
Emacs fix (extent->span). Copyright update.
Diffstat (limited to 'generic/proof-splash.el')
0 files changed, 0 insertions, 0 deletions