Merge pull request #1125 from lean-ja/Seasawher/issue1116

#version コマンドを紹介する
lean-ja · Nov 16, 2024 · a42232e · a42232e
2 parents d0bd69b + 366a0c9
commit a42232e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/LeanByExample/Reference/Diagnostic/Version.lean b/LeanByExample/Reference/Diagnostic/Version.lean
@@ -0,0 +1,6 @@
+/- # \#version
+
+`#version` コマンドは、その環境での Lean のバージョンと OS の情報を表示します。
+-/
+
+#version
diff --git a/booksrc/SUMMARY.md b/booksrc/SUMMARY.md
@@ -21,6 +21,7 @@
   - [#reduce: 式を簡約する](./Reference/Diagnostic/Reduce.md)
   - [#synth: 型クラスの検査](./Reference/Diagnostic/Synth.md)
   - [#time: 実行時間計測](./Reference/Diagnostic/Time.md)
+  - [#version: バージョン表示](./Reference/Diagnostic/Version.md)
   - [#whnf: 式を弱頭正規形に](./Reference/Diagnostic/Whnf.md)
 
 - [宣言的コマンド](./Reference/Declarative/README.md)