.gitignore for HOL
7 ignoreringsregler for HOL, klare til å kopieres inn i kodelageret ditt.
Interaktiv teorembeviser for høyereordenslogikk
Den komplette .gitignore-filen for HOL
# Generert av LFGitignore - https://lfgitignore.com
# Opprettet: 2026-10-13 15:58:43 UTC
# Teknologier: HOL
### HOL ###
*Script
# Teorisignatur generert av Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake-hjelpemappe
.HOLMK
Hva disse HOL-reglene faktisk ignorerer
Alle mønstrene nedenfor, og hvorfor de hører hjemme i .gitignore-filen din.
Generelt
| Mønster | Hva det ignorerer |
|---|---|
*Script |
Generelt |
Filer generert av Holmake
| Mønster | Hva det ignorerer |
|---|---|
*Theory.sig |
Teorisignatur generert av Holmake |
*Theory.sml |
Filer generert av Holmake |
*.uo |
Filer generert av Holmake |
*.ui |
Filer generert av Holmake |
Holmake-hjelpefiler
| Mønster | Hva det ignorerer |
|---|---|
.hollogs |
Holmake-hjelpefiler |
.HOLMK |
Holmake-hjelpemappe |
Slik bruker du denne .gitignore-filen for HOL
- Kopier HOL-reglene ovenfor, eller last ned filen direkte.
- Opprett en fil som heter .gitignore i roten av Git-kodelageret ditt, og lim inn reglene.
- Hvis noen av disse filene allerede spores, kjører du git rm -r --cached . og sjekker inn på nytt — Git bruker bare ignoreringsregler på filer som ikke spores.
- Sjekk inn .gitignore slik at alle på teamet deler de samme reglene.