Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix some bugs shown by byte comp | 2001-07-09 | |
* | Copyright date updated | 2001-05-08 | |
* | Typo. | 2000-12-07 | |
* | Beginnings of pgip processing | 2000-12-07 | |
* | Functions to process pgip commands. | 2000-11-24 |
![]() |
index : proof-general | |
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix some bugs shown by byte comp | 2001-07-09 | |
* | Copyright date updated | 2001-05-08 | |
* | Typo. | 2000-12-07 | |
* | Beginnings of pgip processing | 2000-12-07 | |
* | Functions to process pgip commands. | 2000-11-24 |