diff options
| author | David Aspinall | 1999-06-24 14:07:50 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-06-24 14:07:50 +0000 |
| commit | 435917ecfaf7aad69307e91046d700c88aece01e (patch) | |
| tree | d9361b758e3d592a94dc1d491500949abcff613a /html | |
| parent | 2b4098243578d1896c4eaec42e00b46f1533d01b (diff) | |
New image
Diffstat (limited to 'html')
| -rw-r--r-- | html/ProofGeneral.jpg | bin | 5461 -> 12002 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/html/ProofGeneral.jpg b/html/ProofGeneral.jpg Binary files differindex 2b23f03b..6d5bfbfe 100644 --- a/html/ProofGeneral.jpg +++ b/html/ProofGeneral.jpg |
