.gitignore pour HOL
7 règles d’exclusion pour HOL, prêtes à copier dans votre dépôt.
Assistant de preuve en logique d'ordre supérieur
Le .gitignore complet pour HOL
# Generated by LFGitignore - https://lfgitignore.com
# Created: 2026-09-17 17:00:39 UTC
# Technologies: HOL
### HOL ###
*Script
# Holmake-generated theory signature
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Holmake auxiliary directory
.HOLMK
Ce que ces règles HOL ignorent vraiment
Chaque motif ci-dessous, et pourquoi il a sa place dans votre .gitignore.
General
| Motif | Ce qu’il ignore |
|---|---|
*Script |
General |
Holmake generated files
| Motif | Ce qu’il ignore |
|---|---|
*Theory.sig |
Holmake-generated theory signature |
*Theory.sml |
Holmake generated files |
*.uo |
Holmake generated files |
*.ui |
Holmake generated files |
Holmake auxiliary files
| Motif | Ce qu’il ignore |
|---|---|
.hollogs |
Holmake auxiliary files |
.HOLMK |
Holmake auxiliary directory |
Comment utiliser ce .gitignore pour HOL
- Copiez les règles HOL ci-dessus, ou téléchargez directement le fichier.
- Créez un fichier nommé .gitignore à la racine de votre dépôt Git et collez-y les règles.
- Si certains de ces fichiers sont déjà suivis, lancez git rm -r --cached . puis recommitez — Git n’applique les règles d’exclusion qu’aux fichiers non suivis.
- Commitez le .gitignore pour que toute l’équipe partage les mêmes règles.