Edmund Dikow (Nov 23 2021 at 10:40): Edmund Dikow (Nov 23 2021 at 10:40):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?
Kind regards
Edmund Dikow
Lukas Stevens (Nov 23 2021 at 10:44):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.
Lukas Stevens (Nov 23 2021 at 10:45):If you change the command to isabelle jedit Test.thy, then it will open Test.thy.
Edmund Dikow (Nov 23 2021 at 12:59):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
C:\Users\UserName\Isabelle\Isabelle2021\Isabelle2021.exe E:\theoryfiles\myTheory.thy
I have to restart my computer for a change in the link to become active.
Kind regards
Edmund Dikow
Notification Bot (Nov 23 2021 at 13:01):Edmund Dikow has marked this topic as resolved.
Last updated: Dec 21 2024 at 16:20 UTC