From a7712f60b4606fb2508c0b45615e7c6b64db7565 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 23 Nov 1999 16:30:39 +0000 Subject: Mention path of bash in interface scripts --- INSTALL | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'INSTALL') 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. -- cgit v1.2.3