.gitignore para HOL
7 reglas de exclusión para HOL, listas para copiar en tu repositorio.
Demostrador interactivo de teoremas de lógica de orden superior
El .gitignore completo para HOL
# Generado por LFGitignore - https://lfgitignore.com
# Creado: 2026-10-13 15:48:06 UTC
# Tecnologías: HOL
### HOL ###
*Script
# Firma de teoría generada por Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Directorio auxiliar de Holmake
.HOLMK
Qué ignoran estas reglas de HOL
Todos los patrones y por qué incluirlos en tu .gitignore.
Generalidades
| Patrón | Qué ignora |
|---|---|
*Script |
Generalidades |
Archivos generados por Holmake
| Patrón | Qué ignora |
|---|---|
*Theory.sig |
Firma de teoría generada por Holmake |
*Theory.sml |
Archivos generados por Holmake |
*.uo |
Archivos generados por Holmake |
*.ui |
Archivos generados por Holmake |
Archivos auxiliares de Holmake
| Patrón | Qué ignora |
|---|---|
.hollogs |
Archivos auxiliares de Holmake |
.HOLMK |
Directorio auxiliar de Holmake |
Cómo usar este .gitignore para HOL
- Copia las reglas de HOL de arriba o descarga el archivo directamente.
- Crea un archivo llamado .gitignore en la raíz del repositorio Git y pega las reglas.
- Si Git ya rastrea alguno de esos archivos, ejecuta git rm -r --cached . y crea otro commit: Git solo aplica las reglas de exclusión a los archivos que no rastrea.
- Incluye el .gitignore en un commit para que todo el equipo comparta las mismas reglas.