.gitignore за HOL
7 правила игнорисања за HOL, спремних за копирање у репозиторијум.
Интерактивни доказивач теорема за логику вишег реда
Комплетан .gitignore за HOL
# Генерисао LFGitignore - https://lfgitignore.com
# Креирано: 2026-10-31 21:50:50 UTC
# Технологије: HOL
### HOL ###
*Script
# Холмаке генерисан потпис теорије
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Холмаке помоћни именик
.HOLMK
Шта тачно игноришу ова правила за HOL
Сваки образац испод има објашњење зашто припада вашој датотеци .gitignore.
генерал
| Образац | Шта игнорише |
|---|---|
*Script |
генерал |
Холмаке генерисани фајлови
| Образац | Шта игнорише |
|---|---|
*Theory.sig |
Холмаке генерисан потпис теорије |
*Theory.sml |
Холмаке генерисани фајлови |
*.uo |
Холмаке генерисани фајлови |
*.ui |
Холмаке генерисани фајлови |
Холмаке помоћне датотеке
| Образац | Шта игнорише |
|---|---|
.hollogs |
Холмаке помоћне датотеке |
.HOLMK |
Холмаке помоћни именик |
Како користити овај .gitignore за HOL
- Копирајте горенаведена правила HOL или директно преузмите датотеку.
- Направите датотеку под називом .gitignore у корену вашег Git спремишта и налепите правила у њу.
- Ако Git већ прати неке од тих датотека, покрените git rm -r --cached . па поново направите комит — правила игнорисања важе само за датотеке које Git не прати.
- Додајте .gitignore у комит како би цео тим користио иста правила.