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
 2 files changed, 0 insertions(+), 0 deletions(-)

(limited to 'html')

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
-- 
cgit v1.2.3