diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:09:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:09:40 +0000 |
commit | a2159d6d38ea62e27cb596f4860b15bbdae1ef6d (patch) | |
tree | 3cfeaa548ee39eeeb25c61570c692182d93a64e8 /html | |
parent | 435917ecfaf7aad69307e91046d700c88aece01e (diff) |
Deleted files.
Diffstat (limited to 'html')
-rw-r--r-- | html/IsaPGscreen.jpg | bin | 50670 -> 0 bytes |
-rw-r--r-- | html/ProofGeneral.jpg | bin | 12002 -> 0 bytes |
-rw-r--r-- | html/bullethole.gif | bin | 1019 -> 0 bytes |
-rw-r--r-- | html/text_general.gif | bin | 5445 -> 0 bytes |
-rw-r--r-- | html/text_proof.gif | bin | 4695 -> 0 bytes |
-rw-r--r-- | html/vh40.gif | bin | 906 -> 0 bytes |
6 files changed, 0 insertions, 0 deletions
diff --git a/html/IsaPGscreen.jpg b/html/IsaPGscreen.jpg Binary files differdeleted file mode 100644 index 5e2dda74..00000000 --- a/html/IsaPGscreen.jpg +++ /dev/null diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg Binary files differdeleted file mode 100644 index 6d5bfbfe..00000000 --- a/html/ProofGeneral.jpg +++ /dev/null diff --git a/html/bullethole.gif b/html/bullethole.gif Binary files differdeleted file mode 100644 index c4447471..00000000 --- a/html/bullethole.gif +++ /dev/null diff --git a/html/text_general.gif b/html/text_general.gif Binary files differdeleted file mode 100644 index 468b2a78..00000000 --- a/html/text_general.gif +++ /dev/null diff --git a/html/text_proof.gif b/html/text_proof.gif Binary files differdeleted file mode 100644 index 2395d9e1..00000000 --- a/html/text_proof.gif +++ /dev/null diff --git a/html/vh40.gif b/html/vh40.gif Binary files differdeleted file mode 100644 index c5e9402e..00000000 --- a/html/vh40.gif +++ /dev/null |