Stream: Beginner Questions

Topic: alternative to Scratch.thy?


view this post on Zulip 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

view this post on Zulip 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.

view this post on Zulip Lukas Stevens (Nov 23 2021 at 10:45):

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