Commit message (Expand) | 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 |