.gitignore untuk HOL
7 aturan pengabaian untuk HOL, siap disalin ke repositori Anda.
Pembukti teorema interaktif untuk logika tingkat tinggi
.gitignore lengkap untuk HOL
# Dibuat oleh LFGitignore - https://lfgitignore.com
# Dibuat: 2026-10-31 21:51:10 UTC
# Teknologi: HOL
### HOL ###
*Script
# Tanda tangan teori yang dihasilkan Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Direktori tambahan Holmake
.HOLMK
Apa yang sebenarnya diabaikan oleh aturan HOL ini
Setiap pola berikut beserta alasan untuk memasukkannya ke .gitignore.
Umum
| Pola | Yang diabaikan |
|---|---|
*Script |
Umum |
berkas yang dihasilkan Holmake
| Pola | Yang diabaikan |
|---|---|
*Theory.sig |
Tanda tangan teori yang dihasilkan Holmake |
*Theory.sml |
berkas yang dihasilkan Holmake |
*.uo |
berkas yang dihasilkan Holmake |
*.ui |
berkas yang dihasilkan Holmake |
berkas tambahan Holmake
| Pola | Yang diabaikan |
|---|---|
.hollogs |
berkas tambahan Holmake |
.HOLMK |
Direktori tambahan Holmake |
Cara menggunakan .gitignore ini untuk HOL
- Salin aturan HOL di atas atau unduh langsung berkasnya.
- Buat berkas bernama .gitignore di direktori utama repositori Git Anda dan tempelkan aturannya.
- Jika sebagian berkas tersebut sudah dilacak, jalankan git rm -r --cached . lalu buat commit baru — Git hanya menerapkan aturan pengabaian pada berkas yang belum dilacak.
- Commit .gitignore agar seluruh anggota tim menggunakan aturan yang sama.