1 files changed, 6 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index d03a8adb..f35a3026 100644
--- a/INSTALL
+++ b/INSTALL
@@ -132,11 +132,15 @@ NB: You may need to change the path to perl at the top of the file.
 
 ----------------------------------------------------------------------
 
-Notes for Isabelle
-==================
+Notes for Isabelle and Isabelle/Isar
+====================================
 
 Check the value of isabelle-prog-name.
 
+If you use the interface wrapper scripts isa/interface or
+isar/interface, you may need to change the path to bash
+on the first line.
+
 The distribution includes a version of Isamode's theory file mode.
 Use C-h m to check on the features available.