| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Notes about strange filenames |  David Aspinall | 2000-03-22 |
| | | |||
| * | Added test for .thy file match bug. | David Aspinall | 1999-02-01 |
| | | |||
| * | Rearranged into reverse chronological order | David Aspinall | 1999-01-21 |
| | | |||
| * | Added putative test for Isabelle and long lines with backslash. | David Aspinall | 1999-01-15 |
| | | |||
| * | added proof-shell-exit test description |  Thomas Kleymann | 1998-12-16 |
| | | |||
| * | Added new test/comments. | David Aspinall | 1998-12-11 |
| | | |||
| * | New file mentioning some test cases. | David Aspinall | 1998-12-10 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |