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

Question

我已经安装了 Isabelle 2021 版本，现在我想按照 https://drops.dagstuhl.de/opus/volltexte/2020/13065/pdf/LIPIcs-TYPES-2019-1.pdf 第 12 页第 15.1 章第 2 节中的建议尝试命令“isabelle export”。

我可以看到 2 种可能性：

• 有 main Isabelle2021.exe，但它启动了 jEdit window 我仔细检查了打包的 jEdit 选项，我没有发现 jEdit 可能作为工具服务的可能性用于输入 isabelle 命令行命令。

• 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 的 运行ning，不是吗？

好的，现在我正在消化这 3 个文件的内容，也许我可以为 Windows 调整它们。但很高兴听到 运行ning Isabelle 命令的常规方式是什么 Windows shell?

Answer 1

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