diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral-image.jpg | bin | 42514 -> 36953 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/ProofGeneral-image.jpg b/doc/ProofGeneral-image.jpg Binary files differindex ab45a0d9..85babf1b 100644 --- a/doc/ProofGeneral-image.jpg +++ b/doc/ProofGeneral-image.jpg |