.gitignore для HOL
7 правил ігнорування для HOL, готових до копіювання у ваш репозиторій.
Інтерактивна програма для доведення теорем для логіки вищого порядку
Повний .gitignore для HOL
# Згенеровано LFGitignore - https://lfgitignore.com
# Створено: 2026-10-31 21:51:18 UTC
# Технології: HOL
### HOL ###
*Script
# Підпис теорії, згенерованої Холмейком
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Допоміжний каталог Holmake
.HOLMK
Що насправді ігнорують ці правила HOL
Кожен наведений нижче шаблон із поясненням, навіщо він потрібен у .gitignore.
Загальний
| Шаблон | Що ігнорується |
|---|---|
*Script |
Загальний |
Файли, створені Holmake
| Шаблон | Що ігнорується |
|---|---|
*Theory.sig |
Підпис теорії, згенерованої Холмейком |
*Theory.sml |
Файли, створені Holmake |
*.uo |
Файли, створені Holmake |
*.ui |
Файли, створені Holmake |
Допоміжні файли Holmake
| Шаблон | Що ігнорується |
|---|---|
.hollogs |
Допоміжні файли Holmake |
.HOLMK |
Допоміжний каталог Holmake |
Як використовувати цей .gitignore для HOL
- Скопіюйте правила HOL вище або завантажте файл безпосередньо.
- Створіть файл з іменем .gitignore у корені вашого сховища Git і вставте в нього правила.
- Якщо деякі з цих файлів уже відстежуються, запустіть git rm -r --cached ., а потім зафіксуйте знову — Git застосовує правила ігнорування лише до невідстежуваних файлів.
- Закріпіть .gitignore, щоб усі члени команди мали однакові правила.