language7 regole attiveVerificato il 2026-09-30

HOL Modello .gitignore

Standard HOL gitignore template from upstream github/gitignore collection. Generato e unito in modo deterministico con i pattern ufficiali del repository GitHub per preservare il tuo progetto da cartelle di dipendenze, file compilati e variabili d'ambiente locali.

Generatore interattivo di stack

Apri nel generatore completo

Aggiunta rapida:

Selezionati1

HOL

Modelli selezionati (1)

HOL

language

Standard HOL gitignore template from upstream github/gitignore collection

#hol

.gitignore

7 regole•1 modello

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

Pipeline Deterministica

Sorgente di HOL .gitignore

Modello ufficiale upstream indicizzabile

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

Dettaglio delle regole principali

Regole di Esclusione Principali

Pattern essenziali stabiliti ufficialmente per questa tecnologia.

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

Origine e licenza verificata

Fonte:: GitHub gitignore ufficiale (main)

Licenza:: CC0-1.0

Salva questo file nella radice del tuo progetto con il nome .gitignore. Le modifiche avranno effetto sui file nuovi o non ancora tracciati.

language

HOL Modello .gitignore

Generatore interattivo di stack

Sorgente di HOL .gitignore

Dettaglio delle regole principali

Regole di Esclusione Principali

Origine e licenza verificata

Tecnologie correlate e complementari

Actionscript

Ada

Auto It

Automation Studio