.gitignore, skirtas HOL
7 nepaiso HOL taisyklių, paruoštų kopijuoti į jūsų saugyklą.
Interaktyvus teoremos įrodymas aukštesnės eilės logikai
Visas .gitignore, skirtas HOL
# Sukurta LFGitignore - https://lfgitignore.com
# Sukurta: 2026-10-31 22:56:55 UTC
# Technologijos: HOL
### HOL ###
*Script
# Holmake'o sukurtas teorijos parašas
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake pagalbinis katalogas
.HOLMK
Kokių failų nepaiso šios HOL taisyklės
Kiekvienas toliau pateiktas šablonas paaiškintas: kodėl jis reikalingas jūsų .gitignore.
Generolas
| Šablonas | Ką ignoruoja |
|---|---|
*Script |
Generolas |
Holmake sugeneruoti failai
| Šablonas | Ką ignoruoja |
|---|---|
*Theory.sig |
Holmake'o sukurtas teorijos parašas |
*Theory.sml |
Holmake sugeneruoti failai |
*.uo |
Holmake sugeneruoti failai |
*.ui |
Holmake sugeneruoti failai |
Holmake pagalbiniai failai
| Šablonas | Ką ignoruoja |
|---|---|
.hollogs |
Holmake pagalbiniai failai |
.HOLMK |
Holmake pagalbinis katalogas |
Kaip naudoti šį .gitignore HOL
- Nukopijuokite aukščiau pateiktas HOL taisykles arba atsisiųskite failą tiesiogiai.
- Sukurkite failą pavadinimu .gitignore savo Git saugyklos šaknyje ir įklijuokite į jį taisykles.
- Jei kai kurie iš tų failų jau sekami, paleiskite git rm -r --cached ., tada vėl įsipareigokite – Git taiko ignoravimo taisykles tik nesekamiems failams.
- Įsipareigokite .gitignore, kad visi komandos nariai laikytųsi tos pačios taisyklės.