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
Edmund Dikow (Nov 23 2021 at 10:37):sorry, I placed this topic in the wrong stream
Notification Bot (Nov 23 2021 at 10:38):Edmund Dikow has marked this topic as resolved.
Last updated: Apr 16 2024 at 08:18 UTC