.gitignore pro HOL
7 pravidel ignorování pro HOL, připravených ke zkopírování do repozitáře.
Interaktivní dokazovací systém pro logiku vyššího řádu
Kompletní .gitignore pro HOL
# Vygenerováno pomocí LFGitignore - https://lfgitignore.com
# Vytvořeno: 2026-10-13 15:59:35 UTC
# Technologie: HOL
### HOL ###
*Script
# Signatura teorie generovaná Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Pomocný adresář Holmake
.HOLMK
Co pravidla pro HOL skutečně ignorují
Každý vzor níže má vysvětlení, proč patří do vašeho .gitignore.
Obecné
| Vzor | Co ignoruje |
|---|---|
*Script |
Obecné |
Soubory generované Holmake
| Vzor | Co ignoruje |
|---|---|
*Theory.sig |
Signatura teorie generovaná Holmake |
*Theory.sml |
Soubory generované Holmake |
*.uo |
Soubory generované Holmake |
*.ui |
Soubory generované Holmake |
Pomocné soubory Holmake
| Vzor | Co ignoruje |
|---|---|
.hollogs |
Pomocné soubory Holmake |
.HOLMK |
Pomocný adresář Holmake |
Jak používat tento .gitignore pro HOL
- Zkopírujte výše uvedená pravidla pro HOL nebo si soubor rovnou stáhněte.
- V kořenové složce svého Git repozitáře vytvořte soubor .gitignore a vložte do něj pravidla.
- Pokud už jsou některé z těchto souborů sledovány, spusťte git rm -r --cached . a pak znovu commitněte — Git uplatňuje pravidla ignorování pouze na nesledované soubory.
- Commitněte .gitignore, aby celý tým sdílel stejná pravidla.