.gitignore za HOL
7 pravil za prezrtje za HOL, pripravljenih za kopiranje v skladišče.
Interaktivni dokazovalnik izrekov za logiko višjega reda
Popoln .gitignore za HOL
# Ustvaril LFGitignore - https://lfgitignore.com
# Ustvarjeno: 2026-10-31 21:50:58 UTC
# Tehnologije: HOL
### HOL ###
*Script
# Podpis teorije, ki jo je ustvaril Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake pomožni imenik
.HOLMK
Kaj pravila za HOL dejansko prezrejo
Vsak spodnji vzorec in zakaj sodi v vaš .gitignore.
Splošno
| Vzorec | Kaj pravilo prezre |
|---|---|
*Script |
Splošno |
Holmake generirane datoteke
| Vzorec | Kaj pravilo prezre |
|---|---|
*Theory.sig |
Podpis teorije, ki jo je ustvaril Holmake |
*Theory.sml |
Holmake generirane datoteke |
*.uo |
Holmake generirane datoteke |
*.ui |
Holmake generirane datoteke |
Holmake pomožne datoteke
| Vzorec | Kaj pravilo prezre |
|---|---|
.hollogs |
Holmake pomožne datoteke |
.HOLMK |
Holmake pomožni imenik |
Kako uporabljati ta .gitignore za HOL
- Kopirajte zgornja pravila HOL ali neposredno prenesite datoteko.
- Ustvarite datoteko z imenom .gitignore v korenu svojega skladišča Git in vanjo prilepite pravila.
- Če se nekaterim od teh datotek že sledi, zaženite git rm -r --cached . in nato ponovno potrdite — Git uporablja pravila prezrtja samo za datoteke, ki jim ni sledi.
- Potrdite datoteko .gitignore, da bo vsa ekipa uporabljala enaka pravila.