proof-general/etc/TESTS, branch master Emacs plugins for proof management systems Deleted file 2011-06-10T14:39:34+00:00 David Aspinall 2011-06-10T14:39:34+00:00 f64240abecf2fad75e3cc05759961bbce4cb4ddd 






Notes about strange filenames
2000-03-22T14:11:58+00:00

David Aspinall

2000-03-22T14:11:58+00:00

a06ac4e064bedee9d3e3398e36d66b769634da63












Added test for .thy file match bug.
1999-02-01T13:33:07+00:00

David Aspinall

1999-02-01T13:33:07+00:00

2eae72fdb319312c568f1c9f9b953932741c6f73












Rearranged into reverse chronological order
1999-01-21T14:20:35+00:00

David Aspinall

1999-01-21T14:20:35+00:00

ebe2ce9e1cc8475e4fdf79e6c7a548315a7fa3e7












Added putative test for Isabelle and long lines with backslash.
1999-01-15T16:03:19+00:00

David Aspinall

1999-01-15T16:03:19+00:00

bffcc1489882830a8fca95ff778d08db397d1c49












added proof-shell-exit test description
1998-12-16T15:12:09+00:00

Thomas Kleymann

1998-12-16T15:12:09+00:00

7edf61a08bf8e300c1c15bd3c66897cee7b2f959












Added new test/comments.
1998-12-11T17:04:26+00:00

David Aspinall

1998-12-11T17:04:26+00:00

6146b88d7b181cd0c202373c8220b895702a034f












New file mentioning some test cases.
1998-12-10T10:59:00+00:00

David Aspinall

1998-12-10T10:59:00+00:00

64810e77133470531a3423c383fee9209cf652f2