language7 個の有効ルール2026-09-30 検証済み

HOL .gitignore テンプレート

Standard HOL gitignore template from upstream github/gitignore collection. 公式GitHubリポジトリの最新パターンと決定論的に統合され、パッケージディレクトリ、一時ビルド成果物、ローカル環境ファイルをクリーンに保ちます。

スタック統合ジェネレーター

クイック追加:

選択中1

HOL

選択されたテンプレート (1)

HOL

language

Standard HOL gitignore template from upstream github/gitignore collection

#hol

.gitignore

7 ルール•1 テンプレート

1### HOL ###
2*Script
3 
4# Holmake generated files
5*Theory.sig
6*Theory.sml
7*.uo
8*.ui
9 
10# Holmake auxiliary files
11.hollogs
12.HOLMK
13

13 行•UTF-8•LF

決定論的パイプライン

クローラブルな公式アップストリーム原典

hol.gitignore•12 lines•UTF-8

1*Script
2 
3# Holmake generated files
4*Theory.sig
5*Theory.sml
6*.uo
7*.ui
8 
9# Holmake auxiliary files
10.hollogs
11.HOLMK
12

この技術向けに定義された主要な除外パターン。

*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs他 +1 件

ライセンス：: CC0-1.0

このファイルをプロジェクトのルートディレクトリに .gitignore というファイル名で配置してください。新規および未追跡ファイルに即座に反映されます。