.gitignore pentru HOL
7 reguli de ignorare pentru HOL, gata de copiat în depozitul dvs.
Demonstrator interactiv de teoreme pentru logica de ordin superior
.gitignore complet pentru HOL
# Generat de LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 22:57:00 UTC
# Tehnologii: HOL
### HOL ###
*Script
# Semnătura teoriei generată de Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Directorul auxiliar Holmake
.HOLMK
Ce ignoră regulile pentru HOL
Fiecare model de mai jos și motivul pentru care se află în .gitignore.
Generalități
| Model de fișier | Ce ignoră |
|---|---|
*Script |
Generalități |
Holmake a generat fișiere
| Model de fișier | Ce ignoră |
|---|---|
*Theory.sig |
Semnătura teoriei generată de Holmake |
*Theory.sml |
Holmake a generat fișiere |
*.uo |
Holmake a generat fișiere |
*.ui |
Holmake a generat fișiere |
Fișiere auxiliare Holmake
| Model de fișier | Ce ignoră |
|---|---|
.hollogs |
Fișiere auxiliare Holmake |
.HOLMK |
Directorul auxiliar Holmake |
Cum să utilizați acest .gitignore pentru HOL
- Copiați regulile HOL de mai sus sau descărcați fișierul direct.
- Creați un fișier numit .gitignore la rădăcina depozitului dvs. Git și inserați regulile în el.
- Dacă unele fișiere sunt deja urmărite, rulați git rm -r --cached . și apoi faceți din nou commit — Git aplică regulile de ignorare numai fișierelor neurmărite.
- Faceți commit pentru .gitignore, astfel încât întreaga echipă să folosească aceleași reguli.