Added putative test for Isabelle and long lines with backslash.

1 files changed, 5 insertions, 0 deletions

diff --git a/etc/TESTS b/etc/TESTS
index 9510b9c0..2299965b 100644
--- a/etc/TESTS
+++ b/etc/TESTS
@@ -54,6 +54,11 @@ Some test cases for Proof General.
 
   Process should exit cleanly.
   
+15.1.99  LONG-LINE AND BACKSLASH PROBLEM ON SOLARIS
+===================================================
+
+  Test that etc/isa/long-line-backslash.ML can be processed
+  successfully.