Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | Hendrik Tews | 2013-05-22 |
| | | | | to fix #472 | ||
* | Recreate jpg from old front page image (spending some bytes) | David Aspinall | 2011-05-05 |
| | |||
* | Updates | David Aspinall | 1999-06-24 |
| | |||
* | Images for texi file | David Aspinall | 1998-10-28 |