| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Variable name change proof-comment-{start,end}-regexp -> proof-script-comment... |  David Aspinall | 2002-07-19 |
| * | Layout, comments. | David Aspinall | 2002-07-14 |
| * | Comment fix | David Aspinall | 2000-09-29 |
| * | Encourage use of demoisa-easy.el | David Aspinall | 2000-09-14 |
| * | Encourage use of demoisa-easy.el | David Aspinall | 2000-09-14 |
| * | Fixed up proof-shell-proof-completed mess nicely. | David Aspinall | 2000-04-07 |
| * | Updated Isabelle home page. | David Aspinall | 2000-03-23 |
| * | Consider proof-easy-config no-longer experimental. | David Aspinall | 1999-11-26 |
| * | Bug fix in regexp. | David Aspinall | 1999-11-24 |
| * | Fix to -with-hole regexps | David Aspinall | 1999-11-17 |
| * | Formatting | David Aspinall | 1999-11-17 |
| * | Fixed some docstrings | David Aspinall | 1999-11-17 |
| * | Second version of easy-config, without defvaralias use. | David Aspinall | 1999-11-16 |
| * | Working version of easy-config. | David Aspinall | 1999-11-16 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |