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