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
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 Test.thy
.
Last updated: Jul 15 2022 at 23:21 UTC