diff options
Diffstat (limited to 'images')
| -rw-r--r-- | images/ProofGeneral.gif | bin | 34550 -> 18165 bytes |
| -rw-r--r-- | images/ProofGeneral.jpg | bin | 12002 -> 14368 bytes |
| -rw-r--r-- | images/ProofGeneral.xcf | bin | 212954 -> 80632 bytes |
| -rw-r--r-- | images/pg-text.gif | bin | 13428 -> 7956 bytes |
| -rw-r--r-- | images/pg-text.xcf | bin | 81232 -> 38464 bytes |
5 files changed, 0 insertions, 0 deletions
diff --git a/images/ProofGeneral.gif b/images/ProofGeneral.gif Binary files differindex ed91610c..4f83fb95 100644 --- a/images/ProofGeneral.gif +++ b/images/ProofGeneral.gif diff --git a/images/ProofGeneral.jpg b/images/ProofGeneral.jpg Binary files differindex 6d5bfbfe..948fcb2f 100644 --- a/images/ProofGeneral.jpg +++ b/images/ProofGeneral.jpg diff --git a/images/ProofGeneral.xcf b/images/ProofGeneral.xcf Binary files differindex d651749d..709b346c 100644 --- a/images/ProofGeneral.xcf +++ b/images/ProofGeneral.xcf diff --git a/images/pg-text.gif b/images/pg-text.gif Binary files differindex 046fe760..acab510e 100644 --- a/images/pg-text.gif +++ b/images/pg-text.gif diff --git a/images/pg-text.xcf b/images/pg-text.xcf Binary files differindex 5f823f65..1b542378 100644 --- a/images/pg-text.xcf +++ b/images/pg-text.xcf |
