.gitignore til HOL
7 ignorer regler for HOL, klar til at kopiere til dit lager.
Interaktiv teorembeviser for logik af højere orden
Den komplette .gitignore til HOL
# Genereret af LFGitignore - https://lfgitignore.com
# Oprettet: 2026-10-31 21:50:34 UTC
# Teknologier: HOL
### HOL ###
*Script
# Holmake-genereret teorisignatur
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake hjælpemappe
.HOLMK
Hvad disse HOL regler faktisk ignorerer
Hvert mønster nedenfor, og hvorfor det hører hjemme i din .gitignore.
Generel
| Mønster | Hvad den ignorerer |
|---|---|
*Script |
Generel |
Holmake-genererede filer
| Mønster | Hvad den ignorerer |
|---|---|
*Theory.sig |
Holmake-genereret teorisignatur |
*Theory.sml |
Holmake-genererede filer |
*.uo |
Holmake-genererede filer |
*.ui |
Holmake-genererede filer |
Holmake hjælpefiler
| Mønster | Hvad den ignorerer |
|---|---|
.hollogs |
Holmake hjælpefiler |
.HOLMK |
Holmake hjælpemappe |
Sådan bruger du denne .gitignore til HOL
- Kopier HOL reglerne ovenfor, eller download filen direkte.
- Opret en fil med navnet .gitignore i roden af dit Git-lager og indsæt reglerne i det.
- Hvis nogle af disse filer allerede er sporet, så kør git rm -r --cached . og commit igen - Git anvender kun ignoreringsregler på usporede filer.
- Brug .gitignore, så alle på holdet deler de samme regler.