.gitignore dla HOL
7 reguł ignorowania dla HOL, gotowych do skopiowania do repozytorium.
Interaktywne narzędzie do dowodzenia twierdzeń logiki wyższego rzędu
Kompletny plik .gitignore dla HOL
# Wygenerowano przez LFGitignore - https://lfgitignore.com
# Utworzono: 2026-10-13 15:59:22 UTC
# Technologie: HOL
### HOL ###
*Script
# Sygnatura teorii wygenerowana przez Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Katalog pomocniczy Holmake
.HOLMK
Co ignorują te reguły dla HOL
Każdy z poniższych wzorców wraz z wyjaśnieniem, dlaczego warto umieścić go w .gitignore.
Ogólny
| Wzorzec | Co ignoruje |
|---|---|
*Script |
Ogólny |
Pliki wygenerowane przez Holmake
| Wzorzec | Co ignoruje |
|---|---|
*Theory.sig |
Sygnatura teorii wygenerowana przez Holmake |
*Theory.sml |
Pliki wygenerowane przez Holmake |
*.uo |
Pliki wygenerowane przez Holmake |
*.ui |
Pliki wygenerowane przez Holmake |
Pliki pomocnicze Holmake
| Wzorzec | Co ignoruje |
|---|---|
.hollogs |
Pliki pomocnicze Holmake |
.HOLMK |
Katalog pomocniczy Holmake |
Jak używać tego pliku .gitignore dla HOL
- Skopiuj powyższe reguły dla HOL lub pobierz plik.
- Utwórz plik o nazwie .gitignore w katalogu głównym repozytorium Git i wklej do niego reguły.
- Jeśli Git już śledzi niektóre z tych plików, uruchom git rm -r --cached ., a następnie utwórz nowy commit — Git stosuje reguły ignorowania tylko do nieśledzonych plików.
- Dodaj .gitignore do commita, aby cały zespół korzystał z tych samych reguł.