| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Changed text ready for 2.0 release |  David Aspinall | 1998-11-10 |
| * | Updated to posted version | David Aspinall | 1998-10-13 |
| * | removed bra-types and uitp from pre-release message |  Thomas Kleymann | 1998-10-08 |
| * | put isabelle-users address in alphabetic order | Thomas Kleymann | 1998-10-02 |
| * | Added isabelle-users, mentioned toolbar. | David Aspinall | 1998-10-02 |
| * | draft for first pre-release | Thomas Kleymann | 1998-10-02 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |