.gitignore para HOL
7 regras de exclusão para HOL, prontas a copiar para o seu repositório.
Demonstrador interativo de teoremas para lógica de ordem superior
O .gitignore completo para HOL
# Gerado pelo LFGitignore - https://lfgitignore.com
# Criado: 2026-10-13 15:57:53 UTC
# Tecnologias: HOL
### HOL ###
*Script
# Assinatura de teoria gerada pelo Holmake
*Theory.sig
*Theory.sml
*.uo
*.ui
.hollogs
# Diretório auxiliar do Holmake
.HOLMK
O que estas regras de HOL ignoram
Veja abaixo cada padrão e a razão para o incluir no seu .gitignore.
Geral
| Padrão | O que ignora |
|---|---|
*Script |
Geral |
Ficheiros gerados pelo Holmake
| Padrão | O que ignora |
|---|---|
*Theory.sig |
Assinatura de teoria gerada pelo Holmake |
*Theory.sml |
Ficheiros gerados pelo Holmake |
*.uo |
Ficheiros gerados pelo Holmake |
*.ui |
Ficheiros gerados pelo Holmake |
Ficheiros auxiliares do Holmake
| Padrão | O que ignora |
|---|---|
.hollogs |
Ficheiros auxiliares do Holmake |
.HOLMK |
Diretório auxiliar do Holmake |
Como utilizar este .gitignore para HOL
- Copie as regras de HOL acima ou descarregue o ficheiro diretamente.
- Crie um ficheiro com o nome .gitignore na raiz do seu repositório Git e cole nele as regras.
- Se o Git já acompanhar alguns desses ficheiros, execute git rm -r --cached . e faça um novo commit: o Git só aplica regras de exclusão aos ficheiros que ainda não acompanha.
- Faça commit do .gitignore para que toda a equipa utilize as mesmas regras.