Commit message (Expand) | Author | Age | |
---|---|---|---|
* | updated tests to Isabelle2011-1; | 2011-09-28 | |
* | tuned comment; | 2005-09-14 | |
* | example output; | 2005-09-01 | |
* | added lemma; | 2005-09-01 | |
* | example theory involving unicode characters (utf-8 encoding); | 2005-09-01 |
![]() |
index : proof-general | |
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | updated tests to Isabelle2011-1; | 2011-09-28 | |
* | tuned comment; | 2005-09-14 | |
* | example output; | 2005-09-01 | |
* | added lemma; | 2005-09-01 | |
* | example theory involving unicode characters (utf-8 encoding); | 2005-09-01 |