.gitignore för HOL
7 ignoreringsregler för HOL, redo att kopieras till ditt repo.
Interaktiv bevisassistent för högre ordningens logik
Den kompletta .gitignore-filen för HOL
# Genererad av LFGitignore - https://lfgitignore.com
# Skapad: 2026-10-13 15:57:24 UTC
# Tekniker: HOL
### HOL ###
*Script
# Teorisignatur genererad av Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake-hjälpkatalog
.HOLMK
Vad reglerna för HOL faktiskt ignorerar
Alla mönster nedan och varför de hör hemma i din .gitignore.
Allmänt
| Mönster | Vad det ignorerar |
|---|---|
*Script |
Allmänt |
Filer genererade av Holmake
| Mönster | Vad det ignorerar |
|---|---|
*Theory.sig |
Teorisignatur genererad av Holmake |
*Theory.sml |
Filer genererade av Holmake |
*.uo |
Filer genererade av Holmake |
*.ui |
Filer genererade av Holmake |
Holmake-hjälpfiler
| Mönster | Vad det ignorerar |
|---|---|
.hollogs |
Holmake-hjälpfiler |
.HOLMK |
Holmake-hjälpkatalog |
Så använder du denna .gitignore för HOL
- Kopiera reglerna för HOL ovan eller ladda ner filen direkt.
- Skapa en fil med namnet .gitignore i roten av ditt Git-repo och klistra in reglerna.
- Om några av filerna redan spåras, kör git rm -r --cached . och gör sedan en ny commit — Git tillämpar bara ignoreringsregler på ospårade filer.
- Checka in .gitignore så att alla i teamet delar samma regler.