From bffcc1489882830a8fca95ff778d08db397d1c49 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 15 Jan 1999 16:03:19 +0000
Subject: Added putative test for Isabelle and long lines with backslash.

---
 etc/TESTS | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'etc')

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.
 
     
   
-- 
cgit v1.2.3