From 26a3dd4553e198e6edae56f0de1578200835833a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 5 May 2011 17:33:55 +0000
Subject: Recreate jpg from old front page image (spending some bytes)

---
 doc/ProofGeneral.jpg | Bin 12002 -> 42514 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/doc/ProofGeneral.jpg b/doc/ProofGeneral.jpg
index 6d5bfbfe..ab45a0d9 100644
Binary files a/doc/ProofGeneral.jpg and b/doc/ProofGeneral.jpg differ
-- 
cgit v1.2.3