Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Well-behaved MacOS application for Isabelle 2021


view this post on Zulip Email Gateway (Mar 11 2021 at 17:26):

From: Frédéric Boulanger <frederic.boulanger@lri.fr>
Hi,

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!

Frédéric

Frédéric Boulanger
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 [0]1 69 85 14 84


Last updated: Dec 05 2021 at 23:19 UTC