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