language7 regras ativasVerificado em 2026-09-30
HOL Modelo de .gitignore
Standard HOL gitignore template from upstream github/gitignore collection. Gerado e mesclado de forma determinística com os padrões oficiais do GitHub para manter seu repositório livre de pastas de pacotes, artefatos de compilação e arquivos de ambiente local.
Gerador interativo de stack
Abrir no gerador completo/
Search for templates
Adicionar rápido:
Selecionados1
HOL
Modelos selecionados (1)
HOL
language
Standard HOL gitignore template from upstream github/gitignore collection
#hol
.gitignore
7 regras•1 modelo
### HOL ###*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK 13 linhas•UTF-8•LF
Pipeline Determinístico
Código bruto de HOL .gitignore
Modelo oficial original rastreávelhol.gitignore•12 lines•UTF-8
*Script # Holmake generated files*Theory.sig*Theory.sml*.uo*.ui # Holmake auxiliary files.hollogs.HOLMK Detalhamento de padrões essenciais
Regras principais ignoradas
Regras oficiais de exclusão definidas para esta tecnologia.
*Script*Theory.sig*Theory.sml*.uo*.ui.hollogs+1 adicionais
Origem e verificação
Fonte:: GitHub gitignore (main)
Licença:: CC0-1.0
Coloque este arquivo na raiz do seu projeto com o nome .gitignore. As alterações passam a valer para arquivos novos ou não rastreados.