From 4cabe141fc5f89627fcb44f6c90b24daedc70c89 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 13 Apr 2018 15:18:21 +0100
Subject: Add a few more generated file to gitignore

---
 lib/isabelle/.gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 lib/isabelle/.gitignore

(limited to 'lib')

diff --git a/lib/isabelle/.gitignore b/lib/isabelle/.gitignore
new file mode 100644
index 00000000..0d595f3c
--- /dev/null
+++ b/lib/isabelle/.gitignore
@@ -0,0 +1,13 @@
+PromptAuxiliary.thy
+Prompt_monadAuxiliary.thy
+Prompt_monad.thy
+Prompt.thy
+Sail_instr_kinds.thy
+Sail_operators_bitlists.thy
+Sail_operators_mwords.thy
+Sail_operators.thy
+Sail_valuesAuxiliary.thy
+Sail_values.thy
+StateAuxiliary.thy
+State_monad.thy
+State.thy
-- 
cgit v1.2.3