Merge 6f8210fe16 into 9d7511bedc

Create HOL.gitignore
2026-11-06 10:00:40 +01:00 · 2026-04-17 13:47:13 -07:00 · 2018-09-13 16:57:53 +10:00
1 changed files with 11 additions and 0 deletions
@@ -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	1df4492392	Merge `6f8210fe16` into `9d7511bedc`	2026-04-17 13:47:13 -07:00
Lorenz Leutgeb	6f8210fe16	Create HOL.gitignore	2018-09-13 16:57:53 +10:00