I downloaded Isabelle2021 on my Windows 10 computer. On double clicking the Isabelle icon on my desktop Isabelle/jEdit will open the file Scratch.thy in my ISABELLE_HOME_USER directory or with an empty buffer named Scratch.thy in case there is no such file. Is there a way to open a .thy-file different from Scratch.thy on doubleclicking the Isabelle icon?
I am not too familiar with Windows but I think you should be able to change the command that is executed when inspecting the settings of the icon.
If you change the command to
isabelle jedit Test.thy, then it will open
Thank you, that works. Two additional observations should be noted
On Windows machines the link created during an Isabelle installation is simply to Isabelle2021.exe (not isabelle jedit).
e.g. if my Isabelle installations reside in C:\Users\UserName\Isabelle and my theory files reside in E:\theoryfiles,
I can set the target of the Isabelle2021 icon on the desktop to
I have to restart my computer for a change in the link to become active.
Edmund Dikow has marked this topic as resolved.
Last updated: Sep 25 2022 at 23:25 UTC