From a06ac4e064bedee9d3e3398e36d66b769634da63 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 22 Mar 2000 14:11:58 +0000
Subject: Notes about strange filenames

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

(limited to 'etc/TESTS')

diff --git a/etc/TESTS b/etc/TESTS
index c16db0e7..222e5958 100644
--- a/etc/TESTS
+++ b/etc/TESTS
@@ -5,6 +5,22 @@ See testing-log.txt for log of tests conducted.
 Please add to that file!
 
 
+22.3.00 FILENAME ESCAPES PROBLEM [All provers, probably]
+========================================================
+
+  Filename substitution %s in settings including proof-shell-cd-cmd,
+  proof-shell-inform-file-{retracted,processed}-cmd, may need
+  to add escape characters peculiar to the proof assistant syntax.
+
+  Test cases:
+
+     ln -s ProofGeneral \\backslash  
+     ln -s ProofGeneral \"quote
+
+  Then try scripting with example files for each prover,
+  i.e.  \"quote/coq/example.v, etc.
+
+
 1.2.99 FILE RECOGNITION PROBLEM  [Isabelle]
 ===========================================
 
-- 
cgit v1.2.3