I downloaded Isabelle2021 on my Windows 10 computer. On doubleclicking 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?
sorry, I placed this topic in the wrong stream
Edmund Dikow has marked this topic as resolved.
Last updated: Dec 07 2023 at 12:30 UTC