diff options
| author | David Aspinall | 1998-10-21 10:17:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:17:17 +0000 |
| commit | 119b804454c73a44be3d77739edb6a1d863d1da1 (patch) | |
| tree | 0e12c7f3fc106807a3d068d5ce5ed2d11f1ce0d9 /generic/proof-script.el | |
| parent | e0e7e40ab33ba12033834a83839d1333f7b229a8 (diff) | |
Changed from forcing w3 to using customizable browse-url
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions