Create HOL.gitignore

2026-08-30 03:37:05 +02:00 · 2018-09-13 16:57:53 +10:00
1 changed files with 11 additions and 0 deletions
--- a/HOL.gitignore
+++ b/HOL.gitignore
@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK