From 21270199c9137cc836247d6d219e9ef84e4e14cd Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 29 Jul 1999 20:20:26 +0000
Subject: Test files for multiple file handling with Isabelle/Isar;

---
 etc/isar/multiple/README | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 etc/isar/multiple/README

(limited to 'etc/isar/multiple/README')

diff --git a/etc/isar/multiple/README b/etc/isar/multiple/README
new file mode 100644
index 00000000..ad57b449
--- /dev/null
+++ b/etc/isar/multiple/README
@@ -0,0 +1,3 @@
+
+Test files for multiple file handling with Isabelle/Isar
+(see also isa/multiple/README).
-- 
cgit v1.2.3