.gitignore für HOL
7 Ausschlussregeln für HOL, die du direkt in dein Repository übernehmen kannst.
Interaktiver Theorembeweiser für Logik höherer Ordnung
Die vollständige .gitignore für HOL
# Erstellt von LFGitignore - https://lfgitignore.com
# Erstellt: 2026-10-13 15:48:12 UTC
# Technologien: HOL
### HOL ###
*Script
# Von Holmake generierte Theoriesignatur
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake-Hilfsverzeichnis
.HOLMK
Was diese Regeln für HOL ausschließen
Alle Muster im Überblick – und warum sie in deine .gitignore gehören.
Allgemein
| Muster | Ausgeschlossene Dateien |
|---|---|
*Script |
Allgemein |
Holmake generierte Dateien
| Muster | Ausgeschlossene Dateien |
|---|---|
*Theory.sig |
Von Holmake generierte Theoriesignatur |
*Theory.sml |
Holmake generierte Dateien |
*.uo |
Holmake generierte Dateien |
*.ui |
Holmake generierte Dateien |
Holmake-Hilfsdateien
| Muster | Ausgeschlossene Dateien |
|---|---|
.hollogs |
Holmake-Hilfsdateien |
.HOLMK |
Holmake-Hilfsverzeichnis |
So verwendest du diese .gitignore für HOL
- Kopiere die Regeln für HOL oben oder lade die Datei direkt herunter.
- Erstelle im Stammverzeichnis deines Git-Repositorys eine Datei namens .gitignore und füge die Regeln ein.
- Falls Git einige dieser Dateien bereits erfasst, führe git rm -r --cached . aus und erstelle einen neuen Commit – Git wendet Ausschlussregeln nur auf nicht erfasste Dateien an.
- Committe die .gitignore, damit alle im Team dieselben Regeln verwenden.