From: Frédéric Boulanger <email@example.com>
In order to have an Isabelle 2021 application on which you may drop .thy files, or that can handle double-clicks on .thy files, I built an AppleScript droplet that works quite well.
If you want to give it a try, everything is on https://github.com/Frederic-Boulanger-UPS/MacIsabelle2021App <https://github.com/Frederic-Boulanger-UPS/MacIsabelle2021App>
The application is in the https://github.com/Frederic-Boulanger-UPS/MacIsabelle2021App/raw/main/IsabelleJEdit2021.zip <https://github.com/Frederic-Boulanger-UPS/MacIsabelle2021App/raw/main/IsabelleJEdit2021.zip> file, and you can use it as the default application to open .thy files (it is self-signed, so it may require some stubbornness to be run on your computer).
This application launches Isabelle 2021, and then attempts to open the dropped file using isabelle jedit_client. Two attempts are made with a 2s delay if Isabelle does not process the request immediately.
This makes Isabelle behave as a "normal" MacOS application (drag and drop of files on the application icon, only one running instance even if opened several times, handling of opening .thy files).
I developed this mainly to handle "file://" references to .thy file in the LaTeX slides of my courses. It also happens to be very handy when double-clicking .thy files.
Any feedback is welcome!
CentraleSupélec - Département Informatique Laboratoire Méthodes Formelles (LMF)
3 rue Joliot-Curie, 91192 Gif-sur-Yvette cedex Bât. 650 - 1 rue Raimond Castaing, 91190 Gif-sur-Yvette
+33 1 69 85 14 84
Last updated: Jan 25 2022 at 01:11 UTC