.gitignore untuk HOL
7 peraturan pengabaian untuk HOL, sedia untuk disalin ke repositori anda.
Prover teorem interaktif untuk logik peringkat tinggi
.gitignore yang lengkap untuk HOL
# Dijana oleh LFGitignore - https://lfgitignore.com
# Dicipta: 2026-10-31 21:50:37 UTC
# Teknologi: HOL
### HOL ###
*Script
# Tandatangan teori yang dijana Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Direktori tambahan Holmake
.HOLMK
Apa yang sebenarnya diabaikan oleh peraturan HOL ini
Setiap corak di bawah disertakan dengan sebab ia perlu berada dalam .gitignore anda.
Umum
| Corak | Perkara yang diabaikan |
|---|---|
*Script |
Umum |
Fail yang dihasilkan oleh Holmake
| Corak | Perkara yang diabaikan |
|---|---|
*Theory.sig |
Tandatangan teori yang dijana Holmake |
*Theory.sml |
Fail yang dihasilkan oleh Holmake |
*.uo |
Fail yang dihasilkan oleh Holmake |
*.ui |
Fail yang dihasilkan oleh Holmake |
Fail tambahan Holmake
| Corak | Perkara yang diabaikan |
|---|---|
.hollogs |
Fail tambahan Holmake |
.HOLMK |
Direktori tambahan Holmake |
Bagaimana untuk menggunakan .gitignore ini untuk HOL
- Salin peraturan HOL di atas, atau muat turun fail terus.
- Cipta fail bernama .gitignore di akar repositori Git anda dan tampal peraturan ke dalamnya.
- Jika beberapa fail tersebut telah dijejaki, jalankan git rm -r --cached . kemudian komit semula — Git hanya menggunakan peraturan mengabaikan kepada fail yang tidak dijejaki.
- Masukkan .gitignore dalam commit supaya semua ahli pasukan berkongsi peraturan yang sama.