diff options
| author | David Aspinall | 1998-10-15 16:01:03 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-15 16:01:03 +0000 |
| commit | da0968b1c486a2b2b326eb1639f3b2f421886380 (patch) | |
| tree | 24d9abcb0f5a08f565ca96b2ca1c5c6f21c11ee7 /etc/ProofGeneral.patch | |
| parent | 3259b182e3726d5a31e35489ad41f7fc747c32f3 (diff) | |
Added index bar with bullet holes.
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions