Isabelle/jEdit 仅通过单击 .thy 文件或在 MacOS 中使用打开命令以 ~/Scratch.thy 启动（或不启动）
最近，我重新开始与Isabelle/Hol一起玩。 但是，我在MacOS（蒙特雷）中面临以下问题： 当我单击foo.thy文件时，isabelle/jedit启动，但忽略foo.thy，以〜/scratch.thy开始。当我使用打开foo.thy时，也会发生同样的情况。
（同样，在Macos Catalina中，Isabelle/Jedit无法通过单击文件来启动（它试图从码头中的图标跳下来启动，但是经过几秒钟的时间，它停止了），尽管我无法重新检查它，因为我因为've already upgraded MacOS.)
How can I open a theory file by clicking the file?
Some additional information (these are under Monterey):
- My Isabelle/jEdit is of Isabelle2021-1 from Isabelle's official site。
- 我可以通过单击
isabelle2021-1.App来启动Isabelle/Jedit。 - 启动Isabelle/Jedit后，我可以从
file＆gt;打开文件。在菜单栏中打开...。 - 我可以通过
/applications/isabelle2021-1.app/bin/isabelle jedit foo.thy直接打开foo.thy。 - When I launch by clicking a file named
Chapter01.thy, then the activity log includes
12:06:08 PM [main] [message] jEdit: starting with command line arguments: -settings=/Users/suzuyu/.isabelle/Isabelle2021-1/jedit -server=Isabelle2021-1 -reuseview -nobackground -nosplash -log=9 /Users/suzuyu/Scratch.thy
so, it seems that the file is already ignored at this stage.
Recently, I restarted playing with Isabelle/HOL.
However, I faced the following problem in MacOS (Monterey):
When I click foo.thy file, Isabelle/jEdit launches but ignores foo.thy and starts with ~/Scratch.thy. The same happens when I uses open foo.thy from terminal.
(Also, in MacOS Catalina, Isabelle/jEdit cannot be launched by clicking a file (it tries to launch in the sense that the icon hops in Dock, but after some seconds, it stops), though I cannot re-check it since I've already upgraded MacOS.)
How can I open a theory file by clicking the file?
Some additional information (these are under Monterey):
- My Isabelle/jEdit is of Isabelle2021-1 from Isabelle's official site.
- I checked Isabelle/jEdit can be launched by clicking
Isabelle2021-1.app. - After launching Isabelle/jEdit, I can open files from
File > Open...in the Menu bar. - I can open foo.thy directly by
/Applications/Isabelle2021-1.app/bin/isabelle jedit foo.thy. - When I launch by clicking a file named
Chapter01.thy, then the activity log includes
12:06:08 PM [main] [message] jEdit: starting with command line arguments: -settings=/Users/suzuyu/.isabelle/Isabelle2021-1/jedit -server=Isabelle2021-1 -reuseview -nobackground -nosplash -log=9 /Users/suzuyu/Scratch.thy
so, it seems that the file is already ignored at this stage.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论