1.1 --- a/src/Tools/isac/Doc/README	Sun Apr 04 12:29:42 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/README	Sun Apr 04 13:31:04 2021 +0200
     1.3 @@ -4,4 +4,4 @@
     1.4  /usr/local/isabisac/bin/isabelle build -D .
     1.5   
     1.6  In case nothing happens with the above command, go
     1.7 -~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Lucas_Interpreter*
     1.8 +~/.isabelle/isabisac/heaps/polyml-5.8_x86_64_32-linux/log$ rm Interpret*