diff options
| author | David Aspinall | 2000-12-14 18:56:29 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-12-14 18:56:29 +0000 |
| commit | 308268ce68ed6b9e86e47abd3a597767f609c09b (patch) | |
| tree | 1a6a935d1ccd910f0ccb487f79d06499c5bbbd6d /html/smallheader.html | |
| parent | 6f10f49bde947bc2f3fca034096ef7b9962c6c06 (diff) | |
Factor out some material from proof-script.el
Diffstat (limited to 'html/smallheader.html')
0 files changed, 0 insertions, 0 deletions