Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Problem with paths within ROOTS when using cygwin

Email Gateway (Aug 23 2022 at 08:19):

From: Makarius <makarius@sketis.net>
When using Isabelle/jEdit to edit these files, you can use the dialog
"Utilities / Buffer options / Line separator" to ensure proper Unix line
endings. Afterwards the file needs to be saved again.

Makarius

Email Gateway (Aug 23 2022 at 08:29):

From: Yakoub Nemouchi <y.nemouchi@gmail.com>
Hi list,

When having more than one PATH in ROOTS, I am getting the following error
from cygwin setup that comes with Isabelle2019:

"** Illegal control character 13 in path element

It looks like, on Windows, ROOTS does not like the usage of "Enter" to jump
to a new line.
What is the special character to jump to a new line in ROOTS?
What is the URL encoder used for ROOTS?

PS: I moved away from Windows, I am just interested into building some old
theories on my old personal machine, which uses the cygwin setup that comes
with Isabelle2019 and this error message was printed, which surprised me a
bit!

Best wishes,

Yakoub.

Last updated: Apr 23 2024 at 16:19 UTC