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 /images | |
parent | bfe2190d1ce2eaa372936f9ca3345a1d9305897c (diff) |
Reduced sizes of images.
Diffstat (limited to 'images')
-rw-r--r-- | images/ProofGeneral.gif | bin | 34550 -> 18165 bytes |
-rw-r--r-- | images/ProofGeneral.jpg | bin | 12002 -> 14368 bytes |
-rw-r--r-- | images/ProofGeneral.xcf | bin | 212954 -> 80632 bytes |
-rw-r--r-- | images/pg-text.gif | bin | 13428 -> 7956 bytes |
-rw-r--r-- | images/pg-text.xcf | bin | 81232 -> 38464 bytes |
5 files changed, 0 insertions, 0 deletions
diff --git a/images/ProofGeneral.gif b/images/ProofGeneral.gif Binary files differindex ed91610c..4f83fb95 100644 --- a/images/ProofGeneral.gif +++ b/images/ProofGeneral.gif diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral.jpg Binary files differindex 6d5bfbfe..948fcb2f 100644 --- a/images/ProofGeneral.jpg +++ b/images/ProofGeneral.jpg diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf Binary files differindex d651749d..709b346c 100644 --- a/images/ProofGeneral.xcf +++ b/images/ProofGeneral.xcf diff --git a/images/pg-text.gif b/images/pg-text.gif Binary files differindex 046fe760..acab510e 100644 --- a/images/pg-text.gif +++ b/images/pg-text.gif diff --git a/images/pg-text.xcf b/images/pg-text.xcf Binary files differindex 5f823f65..1b542378 100644 --- a/images/pg-text.xcf +++ b/images/pg-text.xcf |