Coq
Coq etkileşimli bir teorem ispatlayıcısıdır. .gitignore dosyası, sürüm kontrolü için temiz bir depoyu korumak amacıyla derleme eserlerini, oluşturulan dosyaları ve geçici dosyaları hariç tutabilir. Bir .gitignore dosyası, Git sürüm kontrol sistemlerinde Git'in göz ardı etmesi gereken kasıtlı olarak izlenmeyen dosyaları belirtmek için kullanılır. Bu, özellikle derlenmiş ikili dosyalar, günlük dosyaları, geçici dosyalar veya IDE'ye özgü dosyalar gibi depoya ait olmayan dosya ve dizinlerin sürüm kontrolü tarafından izlenmesini engellemek için kullanışlıdır.
Örnek Coq Dosyası
Coq.gitignore dosyası, projenizde belirli dosyaları yoksaymanıza izin verir. Kurulum için mutlaka yazıya göz atın.
.gitignore Kopyala
.*.aux
.*.d
*.a
*.cma
*.cmi
*.cmo
*.cmx
*.cmxa
*.cmxs
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
*.native
*.o
*.v.d
*.vio
*.vo
*.vok
*.vos
.coq-native
.csdp.cache
.lia.cache
.nia.cache
.nlia.cache
.nra.cache
csdp.cache
lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
# generated timing files
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log