.gitignore cho HOL
7 quy tắc bỏ qua cho HOL, sẵn sàng sao chép vào kho mã của bạn.
Công cụ chứng minh định lý tương tác cho logic bậc cao
Tệp .gitignore đầy đủ cho HOL
# Được tạo bởi LFGitignore - https://lfgitignore.com
# Ngày tạo: 2026-10-31 23:47:23 UTC
# Công nghệ: HOL
### HOL ###
*Script
# Chữ ký lý thuyết do Holmake tạo ra
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Thư mục phụ trợ Holmake
.HOLMK
Các quy tắc HOL này thực sự bỏ qua những gì
Từng mẫu dưới đây và lý do nên thêm vào .gitignore.
Tổng quan
| Mẫu | Nội dung được bỏ qua |
|---|---|
*Script |
Tổng quan |
Các tập tin được tạo bởi Holmake
| Mẫu | Nội dung được bỏ qua |
|---|---|
*Theory.sig |
Chữ ký lý thuyết do Holmake tạo ra |
*Theory.sml |
Các tập tin được tạo bởi Holmake |
*.uo |
Các tập tin được tạo bởi Holmake |
*.ui |
Các tập tin được tạo bởi Holmake |
Các tập tin phụ trợ Holmake
| Mẫu | Nội dung được bỏ qua |
|---|---|
.hollogs |
Các tập tin phụ trợ Holmake |
.HOLMK |
Thư mục phụ trợ Holmake |
Cách sử dụng .gitignore này cho HOL
- Sao chép các quy tắc HOL ở trên hoặc tải tệp trực tiếp.
- Tạo tệp có tên .gitignore ở thư mục gốc của kho mã Git và dán các quy tắc vào đó.
- Nếu Git đã theo dõi một số tệp này, hãy chạy git rm -r --cached . rồi commit lại — Git chỉ áp dụng quy tắc bỏ qua cho các tệp chưa được theo dõi.
- Commit tệp .gitignore để mọi người trong nhóm dùng chung các quy tắc.