diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-02-01 13:33:07 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-02-01 13:33:07 +0000 |
| commit | 2eae72fdb319312c568f1c9f9b953932741c6f73 (patch) | |
| tree | 9d4028b90e575ee2b5d6f5117a9eb6247a808360 | |
| parent | 8cf72e55ec5f4edbbf58a827fa14ae47ea41d27a (diff) | |
Added test for .thy file match bug.
| -rw-r--r-- | etc/TESTS | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -5,6 +5,14 @@ See testing-log.txt for log of tests conducted. Please add to that file! +1.2.99 FILE RECOGNITION PROBLEM [Isabelle] +=========================================== + + Bug in regexp caused ML files to be recognized as + theory files when "thy" appeared in path. + Test case in etc/isa/thy/test.ML. + + 15.1.99 LONG-LINE AND BACKSLASH PROBLEM ON SOLARIS =================================================== |