如何从Windows 10执行Isabelle 2021命令？

Question

我已经安装了伊莎贝尔2021版本，现在我想尝试命令“伊莎贝尔出口”，如https://drops.dagstuhl.de/opus/volltexte/2020/13065/pdf/LIPIcs-TYPES-2019-1.pdf第12页15.1章第2节所建议的那样。

我可以看到两种可能性：

• 有主要的Isabelle2021.exe，但是它启动了jEdit窗口，我仔细地检查了打包的jEdit选项，我没有发现jEdit可能作为输入伊莎贝尔命令行命令的工具。

• 在bin目录中有3个脚本-- isabelle、isabelle_java、isabelle_scala_script，我为每个脚本复制了*.bat文件，并且尝试从Windows命令行运行，但我得到了：

C:\Homes\Isabelle2021\Isabelle2021\bin>isabelle_scala_script.bat出口

C:\Homes\Isabelle2021\Isabelle2021\bin>#!/usr/bin/env bash‘#！不能识别为内部或外部命令、可操作的程序或批处理文件。

C:\Homes\Isabelle2021\Isabelle2021\bin># '#‘不被识别为内部或外部命令、可操作的程序或批处理文件。

因此，这些命令可能与*nix相关，可能需要从cygwin运行，不是吗？

好的，现在我正在消化这3个文件的内容，也许我可以为Windows修改它们。但是，很高兴听到在Windows中运行Isabelle命令的传统的、有意的方式是什么？

Answer 1

答案很简单--除了isabelle2021.exe之外，还有Cygwin-Terminal.bat，这个*.bat打开了isabelle命令可用的cygwin，包括isabelle export及其选项。