From 10476652cf2775ff7875eb7d89d936f4ded0bd23 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 13 Sep 2000 15:48:28 +0000 Subject: Reduced sizes of images. --- html/images/ProofGeneral.jpg | Bin 12002 -> 14368 bytes html/images/pg-text.gif | Bin 13428 -> 7956 bytes images/ProofGeneral.gif | Bin 34550 -> 18165 bytes images/ProofGeneral.jpg | Bin 12002 -> 14368 bytes images/ProofGeneral.xcf | Bin 212954 -> 80632 bytes images/pg-text.gif | Bin 13428 -> 7956 bytes images/pg-text.xcf | Bin 81232 -> 38464 bytes 7 files changed, 0 insertions(+), 0 deletions(-) diff --git a/html/images/ProofGeneral.jpg b/html/images/ProofGeneral.jpg index 6d5bfbfe..948fcb2f 100644 Binary files a/html/images/ProofGeneral.jpg and b/html/images/ProofGeneral.jpg differ diff --git a/html/images/pg-text.gif b/html/images/pg-text.gif index 046fe760..acab510e 100644 Binary files a/html/images/pg-text.gif and b/html/images/pg-text.gif differ diff --git a/images/ProofGeneral.gif b/images/ProofGeneral.gif index ed91610c..4f83fb95 100644 Binary files a/images/ProofGeneral.gif and b/images/ProofGeneral.gif differ diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral.jpg index 6d5bfbfe..948fcb2f 100644 Binary files a/images/ProofGeneral.jpg and b/images/ProofGeneral.jpg differ diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf index d651749d..709b346c 100644 Binary files a/images/ProofGeneral.xcf and b/images/ProofGeneral.xcf differ diff --git a/images/pg-text.gif b/images/pg-text.gif index 046fe760..acab510e 100644 Binary files a/images/pg-text.gif and b/images/pg-text.gif differ diff --git a/images/pg-text.xcf b/images/pg-text.xcf index 5f823f65..1b542378 100644 Binary files a/images/pg-text.xcf and b/images/pg-text.xcf differ -- cgit v1.2.3