Edmund Dikow (Nov 23 2021 at 10:21): Edmund Dikow (Nov 23 2021 at 10:21):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?
Kind regards
Edmund Dikow
Last updated: Jul 15 2022 at 23:21 UTC