.gitignore для HOL
7 правил игнорирования для HOL, готовых к копированию в репозиторий.
Интерактивное средство доказательства теорем для логики высшего порядка
Полный .gitignore для HOL
# Создано LFGitignore - https://lfgitignore.com
# Создано: 2026-10-31 23:46:36 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, чтобы все члены команды придерживались одних и тех же правил.