[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:
?[K
And all the arrow keys did not work neither.


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


Xingyuan


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