Commit message (Expand) | Author | Age | |
---|---|---|---|
* | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | 2006-12-07 | |
* | Use Isar-specific isabelle-system file | 2006-12-05 |
![]() |
index : proof-general | |
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break... | 2006-12-07 | |
* | Use Isar-specific isabelle-system file | 2006-12-05 |