diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-21 17:30:02 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-21 17:30:02 +0000 |
| commit | 2f62dc1598c493cab6b8b8850cc5ea9fd03e1883 (patch) | |
| tree | 3b44471dc25c237813ede53610e0143fc842a757 /doc/ProofGeneral.texi | |
| parent | 8c1268b0693b23d5049a31ef850b190f8469d3e8 (diff) | |
Add PG-adapting to info files.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions