language7 règles activesVérifié le 2026-09-30
HOL Modèle .gitignore
Standard HOL gitignore template from upstream github/gitignore collection. Généré et fusionné de manière déterministe avec les règles officielles de GitHub pour préserver votre dépôt des répertoires de dépendances, artefacts de compilation et fichiers de configuration locale.
Générateur interactif de stack
Ouvrir dans le générateur complet/
Search for templates
Ajout rapide :
Sélectionnés1
HOL
Modèles sélectionnés (1)
HOL
language
Standard HOL gitignore template from upstream github/gitignore collection
#hol
.gitignore
7 règles•1 modèle
### HOL ###*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK 13 lignes•UTF-8•LF
Pipeline Déterministe
Source brute de HOL .gitignore
Modèle officiel upstream explorablehol.gitignore•12 lines•UTF-8
*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK Détail des règles clés
Règles d'Exclusion Principales
Règles d'exclusion officielles et fondamentales définies pour cette technologie.
*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs+1 autres
Origine et vérification
Source :: GitHub gitignore officiel (main)
Licence :: CC0-1.0
Placez ce fichier dans le répertoire racine de votre projet sous le nom .gitignore. Les modifications s'appliquent aux fichiers nouveaux ou non suivis.