.gitignore per HOL
7 regole di esclusione per HOL, pronte da copiare nel repository.
Dimostratore interattivo di teoremi per la logica di ordine superiore
Il .gitignore completo per HOL
# Generato da LFGitignore - https://lfgitignore.com
# Creato: 2026-10-13 15:57:43 UTC
# Tecnologie: HOL
### HOL ###
*Script
# Firma della teoria generata da Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Directory ausiliaria di Holmake
.HOLMK
Cosa escludono le regole di HOL
Tutti i pattern e i motivi per includerli nel tuo .gitignore.
Generale
| Schema di esclusione | Cosa esclude |
|---|---|
*Script |
Generale |
File generati da Holmake
| Schema di esclusione | Cosa esclude |
|---|---|
*Theory.sig |
Firma della teoria generata da Holmake |
*Theory.sml |
File generati da Holmake |
*.uo |
File generati da Holmake |
*.ui |
File generati da Holmake |
File ausiliari di Holmake
| Schema di esclusione | Cosa esclude |
|---|---|
.hollogs |
File ausiliari di Holmake |
.HOLMK |
Directory ausiliaria di Holmake |
Come usare questo .gitignore per HOL
- Copia le regole di HOL qui sopra oppure scarica direttamente il file.
- Crea un file chiamato .gitignore nella radice del repository Git e incolla le regole al suo interno.
- Se Git tiene già traccia di alcuni di questi file, esegui git rm -r --cached . e crea un nuovo commit: Git applica le regole di esclusione solo ai file non tracciati.
- Includi .gitignore in un commit affinché tutto il team condivida le stesse regole.