1 files changed, 8 insertions, 0 deletions
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
 ===================================================