Email Gateway (Nov 24 2023 at 09:58): Email Gateway (Nov 24 2023 at 09:58):From: Paolo Crisafulli <paolo.crisafulli@irt-systemx.fr>
Hi all,
When run, isabelle_scala_script raises the following warnings:
bad option '-howtorun:script' was ignored
bad option '-nocompdaemon' was ignored
To reproduce this behaviour, just go to your Isabelle install home dir,
then run bin/isabelle_scala_script with no args.
It seems the scala executable version >=3 does not support these options
any more, as isabelle scala -help does not list them.
Should this be filed as a bug?
Hope this helps, just a little.
Have a good day,
Paolo Crisafulli
Email Gateway (Nov 27 2023 at 09:13):From: Paolo Crisafulli <paolo.crisafulli@irt-systemx.fr>
Thank you very much for your answer and the entry points.
Have a good day,
Paolo
Last updated: Jan 04 2025 at 20:18 UTC