diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:48:28 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:48:28 +0000 |
commit | 10476652cf2775ff7875eb7d89d936f4ded0bd23 (patch) | |
tree | e3a79942996bb4ccb241c8f5b171db69572273c6 /html | |
parent | bfe2190d1ce2eaa372936f9ca3345a1d9305897c (diff) |
Reduced sizes of images.
Diffstat (limited to 'html')
-rw-r--r-- | html/images/ProofGeneral.jpg | bin | 12002 -> 14368 bytes |
-rw-r--r-- | html/images/pg-text.gif | bin | 13428 -> 7956 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg Binary files differindex 6d5bfbfe..948fcb2f 100644 --- a/html/images/ProofGeneral.jpg +++ b/html/images/ProofGeneral.jpg diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif Binary files differindex 046fe760..acab510e 100644 --- a/html/images/pg-text.gif +++ b/html/images/pg-text.gif |