Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - minor changes: clean personal todo list + adjust test case description | 2011-05-20 | |
* | - add test coq/ex/test-cases/change-ancestor for the | 2011-05-12 |
![]() |
index : proof-general | |
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | - minor changes: clean personal todo list + adjust test case description | 2011-05-20 | |
* | - add test coq/ex/test-cases/change-ancestor for the | 2011-05-12 |