diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:45:51 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-07 15:45:51 +0000 |
commit | 8826dc21b35ac75bdf4c17c8c9a334d4072f4cbd (patch) | |
tree | d386c8698abc90523a2fb985cf5d7d09115ef2ae /doc/ProofGeneral.texi | |
parent | 76f466303e581abdb07cffd1d160689019b3558d (diff) |
Makefile for generating various image formats.
Diffstat (limited to 'doc/ProofGeneral.texi')
0 files changed, 0 insertions, 0 deletions