diff options
author | 1999-11-26 12:36:11 +0000 | |
---|---|---|
committer | 1999-11-26 12:36:11 +0000 | |
commit | 01b0a68166decdb7b85c8b302f902e471a1f8178 (patch) | |
tree | 39695e7d3c8e57d77f897eb531cb764c1161e18e /doc/README | |
parent | 0955c72541176ffec0d15565e497740894c4391e (diff) |
Add ProofGeneral.texi and CHANGES to RPM.
Diffstat (limited to 'doc/README')
0 files changed, 0 insertions, 0 deletions