HOL 用 .gitignore
HOL 用の除外ルール 7 件。そのままリポジトリにコピーして使えます。
高階論理のための対話型定理証明器
HOL 用 .gitignore の完全版
# LFGitignore によって生成 - https://lfgitignore.com
# 作成日：2026-10-31 21:51:03 UTC
# 技術：HOL
### HOL ###
*Script
# Holmake が生成した理論シグネチャ
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake 補助ディレクトリ
.HOLMK
HOL のルールで除外されるもの
以下の各パターンと、.gitignore に含める理由を説明します。
一般的な
| パターン | 除外対象 |
|---|---|
*Script |
一般的な |
Holmake で生成されたファイル
| パターン | 除外対象 |
|---|---|
*Theory.sig |
Holmake が生成した理論シグネチャ |
*Theory.sml |
Holmake で生成されたファイル |
*.uo |
Holmake で生成されたファイル |
*.ui |
Holmake で生成されたファイル |
Holmake 補助ファイル
| パターン | 除外対象 |
|---|---|
.hollogs |
Holmake 補助ファイル |
.HOLMK |
Holmake 補助ディレクトリ |
この HOL 用 .gitignore の使い方
- 上の HOL 用ルールをコピーするか、ファイルを直接ダウンロードしてください。
- Git リポジトリのルートに .gitignore という名前のファイルを作り、ルールを貼り付けます。
- 対象のファイルがすでに追跡されている場合は、git rm -r --cached . を実行して再度コミットしてください。Git の除外ルールは未追跡のファイルにのみ適用されます。
- チーム全員で同じルールを共有できるよう、.gitignore をコミットします。