.gitignore per a HOL
7 regles d’exclusió de HOL, llestes per copiar al repositori.
Demostrador interactiu de teoremes per a la lògica d'ordre superior
El .gitignore complet per a HOL
# Generat per LFGitignore - https://lfgitignore.com
# Creat: 2026-10-31 22:52:42 UTC
# Tecnologies: HOL
### HOL ###
*Script
# Signatura de teoria generada per Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Directori auxiliar Holmake
.HOLMK
El que aquestes regles HOL ignoren realment
Cada patró a continuació i per què pertany al vostre .gitignore.
General
| Patró | El que ignora |
|---|---|
*Script |
General |
Fitxers generats per Holmake
| Patró | El que ignora |
|---|---|
*Theory.sig |
Signatura de teoria generada per Holmake |
*Theory.sml |
Fitxers generats per Holmake |
*.uo |
Fitxers generats per Holmake |
*.ui |
Fitxers generats per Holmake |
Fitxers auxiliars Holmake
| Patró | El que ignora |
|---|---|
.hollogs |
Fitxers auxiliars Holmake |
.HOLMK |
Directori auxiliar Holmake |
Com utilitzar aquest .gitignore per a HOL
- Copieu les regles HOL anteriors o descarregueu el fitxer directament.
- Creeu un fitxer anomenat .gitignore a l'arrel del vostre repositori Git i enganxeu-hi les regles.
- Si alguns d’aquests fitxers ja tenen seguiment, executeu git rm -r --cached . i torneu a confirmar els canvis: Git només aplica les regles d’exclusió als fitxers sense seguiment.
- Confirmeu el fitxer .gitignore perquè tot l’equip comparteixi les mateixes regles.