Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Make shell and perl scripts executable. | 2016-09-19 | |
| | | | | This addresses part of the issues pointed out in #112 | ||
* | Program [broken] | 2002-06-08 | |
![]() |
index : proof-general | |
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Make shell and perl scripts executable. | 2016-09-19 | |
| | | | | This addresses part of the issues pointed out in #112 | ||
* | Program [broken] | 2002-06-08 | |