From 2eae72fdb319312c568f1c9f9b953932741c6f73 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 1 Feb 1999 13:33:07 +0000 Subject: Added test for .thy file match bug. --- etc/TESTS | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/etc/TESTS b/etc/TESTS index 08800069..c16db0e7 100644 --- a/etc/TESTS +++ b/etc/TESTS @@ -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 =================================================== -- cgit v1.2.3