Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | 2013-05-22 | |
| | | | | to fix #472 | ||
* | Image of the general with ??? badge | 2000-09-23 | |
| | |||
* | Reduced sizes of images. | 2000-09-13 | |
| | |||
* | Updates and new images | 1999-06-24 | |
| | |||
* | Added jpegs to repository for convenience. | 1998-10-07 | |