Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |