[isabelle] Question about "isabelle scala"

Dear Isabelle Users,
We I started the scala interpreter using:
isabelle scala
from the Cygwin-Termin.bat under Isabelle/VS Code, the Backspace key did not work. When I typed Backspace to remove the character just typed in, it shows something like:
And all the arrow keys did not work neither.

I will be very grateful if anybody can give some help.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.