Re: [isabelle] Question about "isabelle scala"

Hi Xingyuan,

If I recall correctly, this is actually a more general problem with the Scala interpreter, independent of Isabelle, and reproducible under Linux and macOS as well. I think the work around is to prefix execution with rlwrap. I was never clear why the Scala devs did not fix this upstream, but maybe they have and my recollections are out of date.


> -----Original Message-----
> From: cl-isabelle-users-bounces at <cl-isabelle-users-
> bounces at> On Behalf Of Xingyuan Zhang
> Sent: Thursday, May 7, 2020 21:41
> To: isabelle-users <cl-isabelle-users at>
> Subject: [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.