From 258957f9b2e0bbbdf5864e7078f9465e49154fcb Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 7 Oct 1998 15:37:32 +0000
Subject: Colorised the general!

---
 images/ProofGeneral.xcf | Bin 72366 -> 160011 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'images')

diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf
index 91161753..27c1b4ef 100644
Binary files a/images/ProofGeneral.xcf and b/images/ProofGeneral.xcf differ
-- 
cgit v1.2.3