.gitignore za HOL
7 pravila izuzimanja za HOL, spremnih za kopiranje u repozitorij.
Interaktivni dokazivač teorema za logiku višeg reda
Potpuni .gitignore za HOL
# Generirano uz LFGitignore - https://lfgitignore.com
# Stvoreno: 2026-10-13 15:59:51 UTC
# Tehnologije: HOL
### HOL ###
*Script
# Potpis teorije koji generira Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Pomoćni direktorij Holmakea
.HOLMK
Što ova pravila za HOL zapravo zanemaruju
Svaki obrazac u nastavku i razlog zašto pripada vašoj datoteci .gitignore.
Općenito
| Obrazac | Što zanemaruje |
|---|---|
*Script |
Općenito |
Datoteke koje generira Holmake
| Obrazac | Što zanemaruje |
|---|---|
*Theory.sig |
Potpis teorije koji generira Holmake |
*Theory.sml |
Datoteke koje generira Holmake |
*.uo |
Datoteke koje generira Holmake |
*.ui |
Datoteke koje generira Holmake |
Pomoćne datoteke Holmakea
| Obrazac | Što zanemaruje |
|---|---|
.hollogs |
Pomoćne datoteke Holmakea |
.HOLMK |
Pomoćni direktorij Holmakea |
Kako koristiti ovaj .gitignore za HOL
- Kopirajte pravila za HOL iznad ili izravno preuzmite datoteku.
- U korijenu svojeg Git repozitorija stvorite datoteku naziva .gitignore i zalijepite pravila u nju.
- Ako se neke od tih datoteka već prate, pokrenite git rm -r --cached . pa ponovno predajte promjene — Git primjenjuje pravila izuzimanja samo na datoteke koje ne prati.
- Predajte .gitignore kako bi svi u timu koristili ista pravila.