.gitignore за HOL
7 правила за игнориране за HOL, готови за копиране в хранилището ви.
Интерактивна система за доказване на теореми за логика от по-висок ред
Пълният .gitignore за HOL
# Генерирано от LFGitignore — https://lfgitignore.com
# Създадено: 2026-10-13 15:59:50 UTC
# Технологии: HOL
### HOL ###
*Script
# Сигнатура на теория, генерирана от Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Помощна директория на Holmake
.HOLMK
Какво всъщност игнорират тези правила за HOL
Всички шаблони по-долу и защо са необходими във вашия .gitignore.
Общи
| Шаблон | Какво игнорира |
|---|---|
*Script |
Общи |
Генерирани файлове на Holmake
| Шаблон | Какво игнорира |
|---|---|
*Theory.sig |
Сигнатура на теория, генерирана от Holmake |
*Theory.sml |
Генерирани файлове на Holmake |
*.uo |
Генерирани файлове на Holmake |
*.ui |
Генерирани файлове на Holmake |
Помощни файлове на Holmake
| Шаблон | Какво игнорира |
|---|---|
.hollogs |
Помощни файлове на Holmake |
.HOLMK |
Помощна директория на Holmake |
Как да използвате този .gitignore за HOL
- Копирайте правилата за HOL по-горе или изтеглете файла директно.
- Създайте файл с име .gitignore в основната директория на Git хранилището си и поставете правилата в него.
- Ако някои от тези файлове вече се следят, изпълнете git rm -r --cached . и създайте нов комит — Git прилага правилата за игнориране само към неследени файлове.
- Добавете .gitignore в комит, за да използва целият екип едни и същи правила.