language7 reglas activasVerificado el 2026-09-30
HOL Plantilla .gitignore
Standard HOL gitignore template from upstream github/gitignore collection. Generada y fusionada de manera determinista con los patrones del repositorio oficial de GitHub para mantener tu proyecto libre de carpetas de dependencias, artefactos de build y archivos de entorno local.
Generador interactivo de stack
Abrir en el generador completo/
Search for templates
Añadir rápido:
Seleccionadas1
HOL
Plantillas seleccionadas (1)
HOL
language
Standard HOL gitignore template from upstream github/gitignore collection
#hol
.gitignore
7 reglas•1 plantilla
### HOL ###*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK 13 líneas•UTF-8•LF
Pipeline Determinista
Código original de HOL .gitignore
Plantilla fuente oficial rastreablehol.gitignore•12 lines•UTF-8
*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK Desglose de patrones clave
Reglas Principales de Exclusión
Patrones de exclusión esenciales definidos oficialmente para esta tecnología.
*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs+1 más
Origen y verificación
Fuente:: GitHub gitignore oficial (main)
Licencia:: CC0-1.0
Coloca este archivo en el directorio raíz de tu proyecto como .gitignore. Los cambios surtirán efecto en archivos nuevos o no rastreados.