.gitignore pre HOL
7 pravidiel ignorovania pre HOL, pripravených na skopírovanie do repozitára.
Interaktívny dokazovač viet pre logiku vyššieho rádu
Kompletný .gitignore pre HOL
# Vygenerované pomocou LFGitignore - https://lfgitignore.com
# Vytvorené: 2026-10-13 15:58:17 UTC
# Technológie: HOL
### HOL ###
*Script
# Signatúra teórie vygenerovaná Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Pomocný adresár Holmake
.HOLMK
Čo tieto pravidlá pre HOL skutočne ignorujú
Všetky vzory nižšie aj s vysvetlením, prečo patria do vášho .gitignore.
Všeobecné
| Vzor | Čo ignoruje |
|---|---|
*Script |
Všeobecné |
Súbory vygenerované Holmake
| Vzor | Čo ignoruje |
|---|---|
*Theory.sig |
Signatúra teórie vygenerovaná Holmake |
*Theory.sml |
Súbory vygenerované Holmake |
*.uo |
Súbory vygenerované Holmake |
*.ui |
Súbory vygenerované Holmake |
Pomocné súbory Holmake
| Vzor | Čo ignoruje |
|---|---|
.hollogs |
Pomocné súbory Holmake |
.HOLMK |
Pomocný adresár Holmake |
Ako používať tento .gitignore pre HOL
- Skopírujte pravidlá pre HOL vyššie alebo si súbor priamo stiahnite.
- V koreňovom adresári repozitára Git vytvorte súbor s názvom .gitignore a vložte doň pravidlá.
- Ak sa niektoré súbory už sledujú, spustite git rm -r --cached . a vytvorte nový commit — Git uplatňuje pravidlá ignorovania iba na nesledované súbory.
- Pridajte .gitignore do commitu, aby celý tím zdieľal rovnaké pravidlá.