Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] "Files and Folders" permissions cannot be granted


view this post on Zulip Email Gateway (Jan 28 2021 at 11:08):

From: Alessandro Cogliati via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Hi,

I am about to start a course at DTU where we have been asked to install Isabelle.
Installation on macOS was rather trivial, as it only meant dragging from the Downloads folder to the Application folder.
However, when I try to save a document, I cannot access any user folder, because the app does not show the prompt asking the user to grand permission to access certain folders, and as such renders me unable to open or save any documents from e.g. Documents.

I tried looking for a workaround but there seems to be none, I thought you might want to be made aware of this.
In attachment it shows Documents in Isabelle not showing anything, and the actual content of my folder.

Version: Isabelle2021-RC3
SO: macOS Big Sur 11.1

Best regards,

Alessandro Cogliati
alessandrocogliati@icloud.com
s202418@student.dtu.dk

view this post on Zulip Email Gateway (Jan 28 2021 at 11:19):

From: Makarius <makarius@sketis.net>
We have just concluded a long thread about that problem, see

* start:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-January/msg00143.html

* end:
https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2021-January/msg00172.html

* ticket: https://isabelle-dev.sketis.net/T37 (including links with rough
workarounds in Fontforge, Gimp, Inkscape).

It should work smoothly in Isabelle2021-RC4, using a proper approach without
workarounds. It will be published on 01-Feb-2021 +/- 1 day.

Makarius

view this post on Zulip Email Gateway (Jan 29 2021 at 07:44):

From: Christian Sternagel <c.sternagel@gmail.com>
Dear Alessandro,

only out of interest (and maybe rather a question to the course
organizers): Why are you using a release candidate for a course and not
the latest stable version Isabelle2020?

cheers

chris

view this post on Zulip Email Gateway (Jan 30 2021 at 00:16):

From: Jørgen Villadsen via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Hi Christian

I am responsible for the course on automated reasoning:

https://kurser.dtu.dk/course/02256

62 students have registered. The course starts next week and after some tests I suggested to use Isabelle2021-RC3 and asked the students to contact me in case of problems. I have not been contacted.

By the way, I also suggested to follow your guide:

https://arxiv.org/pdf/1208.1368.pdf

On a Danish keyboard the shortcut "control together with backtick" for “Go to Recent Buffer” seems unavailable. I guess that the workaround is to change it to another key.

I also wonder why "Back" and "Forward" are not available as Alt-Left and Alt-Right, respectively, in addition to the tool bar buttons… :-)

Best regards, Jørgen


Last updated: Dec 05 2021 at 23:19 UTC