diff options
| author | David Aspinall | 1999-11-19 19:25:02 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-19 19:25:02 +0000 |
| commit | ace66ba07cd11df2960b1cb3cb0d3ccfbc6d2f26 (patch) | |
| tree | 67058b7dddf3873016b89e2ebf3a891c76e430a3 /generic/proof.el | |
| parent | 876a8eedac454a2e0e54a476eee70b58be36ddec (diff) | |
Fixed info probs. xrefs are a complete nonsense in info.
Diffstat (limited to 'generic/proof.el')
0 files changed, 0 insertions, 0 deletions