From 4caf834dc8ae15353d9f2ee76819d46fcb8bbe60 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 16 May 2018 17:53:17 +0100
Subject: More targeted gitignore for HOL4 (will do individual models later)

---
 .gitignore         | 1 -
 lib/hol/.gitignore | 9 +++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 lib/hol/.gitignore

diff --git a/.gitignore b/.gitignore
index d57846d8..9d77bb0a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,7 +24,6 @@ language/*.ps
 # HOL4
 .HOLMK
 .hollogs
-*Script.sml
 *Theory.dat
 *Theory.sig
 *Theory.sml
diff --git a/lib/hol/.gitignore b/lib/hol/.gitignore
new file mode 100644
index 00000000..fe652801
--- /dev/null
+++ b/lib/hol/.gitignore
@@ -0,0 +1,9 @@
+prompt_monadScript.sml
+promptScript.sml
+sail_instr_kindsScript.sml
+sail_operators_bitlistsScript.sml
+sail_operators_mwordsScript.sml
+sail_operatorsScript.sml
+sail_valuesScript.sml
+state_monadScript.sml
+stateScript.sml
-- 
cgit v1.2.3