diff options
| author | David Aspinall | 1998-11-03 18:11:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 18:11:57 +0000 |
| commit | 9bd24f8b48f0c7b933c0bcc001c65d6972f0b849 (patch) | |
| tree | c00ab53e5a953ca93973969bebb62d5aaa4c67f7 /generic/proof-script.el | |
| parent | 4a9c2da087829312adff30e39d28faa101c795f0 (diff) | |
release now should make links to -latest names for fixed URLs. (needs testing)
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions