Merge 6f8210fe16 into e9c620b9f6

Create HOL.gitignore
2026-11-06 10:00:40 +01:00 · 2026-04-07 15:30:49 +00:00 · 2018-09-13 16:57:53 +10:00
2 changed files with 11 additions and 1 deletions
@@ -1,6 +1,5 @@
 # General
 .DS_Store
-.localized
 __MACOSX/
 .AppleDouble
 .LSOverride
@@ -0,0 +1,11 @@
+*Script
+
+# Holmake generated files
+*Theory.sig
+*Theory.sml
+*.uo
+*.ui
+
+# Holmake auxiliary files
+.hollogs
+.HOLMK
Author	SHA1	Message	Date
Lorenz Leutgeb	21cd6433a8	Merge `6f8210fe16` into `e9c620b9f6`	2026-04-07 15:30:49 +00:00
Lorenz Leutgeb	6f8210fe16	Create HOL.gitignore	2018-09-13 16:57:53 +10:00