Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Recreate jpg from old front page image (spending some bytes) | 2011-05-05 | |
* | Updates | 1999-06-24 | |
* | Images for texi file | 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) | 2011-05-05 | |
* | Updates | 1999-06-24 | |
* | Images for texi file | 1998-10-28 |