language7 active rulesVerified 2026-09-30

HOL .gitignore Template

Standard HOL gitignore template from upstream github/gitignore collection. Generated and merged deterministically with upstream GitHub repository patterns to keep your repository clean of package directories, temporary build artifacts, and local environment files.

Interactive Stack Generator

Preconfigured with HOL

Quick add:

Selected1

HOL

Selected Templates (1)

HOL

language

Standard HOL gitignore template from upstream github/gitignore collection

#hol

.gitignore

7 rules•1 template

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 lines•UTF-8•LF

Deterministic

Raw HOL .gitignore

Crawlable upstream source template

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

Key Pattern Breakdown

Core Ignored Rules

Primary upstream ignore rules defined for this technology.

*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs+1 more

Source & Verification

Source: GitHub gitignore (main)

License: CC0-1.0

Place this file in the root directory of your project as .gitignore. Changes take effect on newly added or untracked files.

language

HOL .gitignore Template

Interactive Stack Generator

Raw HOL .gitignore

Key Pattern Breakdown

Core Ignored Rules

Source & Verification

Related & Companion Technologies

Actionscript

Ada

Auto It

Automation Studio