.gitignore voor HOL
7 negeerregels voor HOL, klaar om naar je repository te kopiëren.
Interactieve stellingbewijzer voor hogere-ordelogica
De volledige .gitignore voor HOL
# Gegenereerd door LFGitignore - https://lfgitignore.com
# Aangemaakt: 2026-10-13 15:58:54 UTC
# Technologieën: HOL
### HOL ###
*Script
# Door Holmake gegenereerde theoriesignatuur
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake-hulpmap
.HOLMK
Wat deze regels voor HOL precies negeren
Hieronder vind je elk patroon met uitleg waarom het in je .gitignore thuishoort.
Algemeen
| Patroon | Wat wordt genegeerd |
|---|---|
*Script |
Algemeen |
Door Holmake gegenereerde bestanden
| Patroon | Wat wordt genegeerd |
|---|---|
*Theory.sig |
Door Holmake gegenereerde theoriesignatuur |
*Theory.sml |
Door Holmake gegenereerde bestanden |
*.uo |
Door Holmake gegenereerde bestanden |
*.ui |
Door Holmake gegenereerde bestanden |
Holmake-hulpbestanden
| Patroon | Wat wordt genegeerd |
|---|---|
.hollogs |
Holmake-hulpbestanden |
.HOLMK |
Holmake-hulpmap |
Zo gebruik je deze .gitignore voor HOL
- Kopieer de bovenstaande regels voor HOL of download het bestand direct.
- Maak een bestand met de naam .gitignore in de hoofdmap van je Git-repository en plak de regels erin.
- Als Git sommige van deze bestanden al bijhoudt, voer dan git rm -r --cached . uit en maak een nieuwe commit. Git past negeerregels alleen toe op bestanden die nog niet worden bijgehouden.
- Commit de .gitignore, zodat iedereen in het team dezelfde regels gebruikt.