HOL için .gitignore
HOL için deponuza kopyalamaya hazır 7 yoksayma kuralı.
Yüksek dereceli mantık için etkileşimli teorem kanıtlayıcı
HOL için eksiksiz .gitignore
# LFGitignore tarafından oluşturuldu - https://lfgitignore.com
# Oluşturuldu: 2026-10-31 22:56:51 UTC
# Teknolojiler: HOL
### HOL ###
*Script
# Holmake tarafından oluşturulan teori imzası
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake yardımcı dizini
.HOLMK
Bu HOL kurallarının aslında neyi göz ardı ettiği
Aşağıda tüm desenleri ve .gitignore dosyanızda neden yer almaları gerektiğini görebilirsiniz.
Genel
| Desen | Yoksaydıkları |
|---|---|
*Script |
Genel |
Holmake tarafından oluşturulan dosyalar
| Desen | Yoksaydıkları |
|---|---|
*Theory.sig |
Holmake tarafından oluşturulan teori imzası |
*Theory.sml |
Holmake tarafından oluşturulan dosyalar |
*.uo |
Holmake tarafından oluşturulan dosyalar |
*.ui |
Holmake tarafından oluşturulan dosyalar |
Holmake yardımcı dosyaları
| Desen | Yoksaydıkları |
|---|---|
.hollogs |
Holmake yardımcı dosyaları |
.HOLMK |
Holmake yardımcı dizini |
HOL için bu .gitignore nasıl kullanılır?
- Yukarıdaki HOL kurallarını kopyalayın veya dosyayı doğrudan indirin.
- Git deponuzun kökünde .gitignore adlı bir dosya oluşturun ve kuralları bu dosyaya yapıştırın.
- Bu dosyalardan bazıları zaten izleniyorsa git rm -r --cached . komutunu çalıştırıp yeniden commit edin. Git, yoksayma kurallarını yalnızca izlenmeyen dosyalara uygular.
- Ekipteki herkesin aynı kuralları kullanması için .gitignore dosyasını commit edin.