From a2159d6d38ea62e27cb596f4860b15bbdae1ef6d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 24 Jun 1999 14:09:40 +0000 Subject: Deleted files. --- html/IsaPGscreen.jpg | Bin 50670 -> 0 bytes html/ProofGeneral.jpg | Bin 12002 -> 0 bytes html/bullethole.gif | Bin 1019 -> 0 bytes html/text_general.gif | Bin 5445 -> 0 bytes html/text_proof.gif | Bin 4695 -> 0 bytes html/vh40.gif | Bin 906 -> 0 bytes 6 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 html/IsaPGscreen.jpg delete mode 100644 html/ProofGeneral.jpg delete mode 100644 html/bullethole.gif delete mode 100644 html/text_general.gif delete mode 100644 html/text_proof.gif delete mode 100644 html/vh40.gif (limited to 'html') diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg deleted file mode 100644 index 5e2dda74..00000000 Binary files a/html/IsaPGscreen.jpg and /dev/null differ diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg deleted file mode 100644 index 6d5bfbfe..00000000 Binary files a/html/ProofGeneral.jpg and /dev/null differ diff --git a/html/bullethole.gif b/html/bullethole.gif deleted file mode 100644 index c4447471..00000000 Binary files a/html/bullethole.gif and /dev/null differ diff --git a/html/text_general.gif b/html/text_general.gif deleted file mode 100644 index 468b2a78..00000000 Binary files a/html/text_general.gif and /dev/null differ diff --git a/html/text_proof.gif b/html/text_proof.gif deleted file mode 100644 index 2395d9e1..00000000 Binary files a/html/text_proof.gif and /dev/null differ diff --git a/html/vh40.gif b/html/vh40.gif deleted file mode 100644 index c5e9402e..00000000 Binary files a/html/vh40.gif and /dev/null differ -- cgit v1.2.3