From 58c1292f2f5a54f069e00e4065c00936963db8cd Mon Sep 17 00:00:00 2001
From: Jon French
Date: Tue, 16 Oct 2018 14:54:58 +0100
Subject: add a couple more RISC-V things to gitignore

---
 .gitignore | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.gitignore b/.gitignore
index f44f4bde..6e5f1362 100644
--- a/.gitignore
+++ b/.gitignore
@@ -85,8 +85,13 @@ lib/hol/sail-heap
 /riscv/Riscv_types.thy
 /riscv/riscv.lem
 /riscv/riscv_types.lem
+/riscv/riscv_sequential.lem
+/riscv/riscv_sequential_types.lem
+/riscv/Riscv_sequential_lemmas.thy
 /riscv/riscv
 /riscv/platform
+/riscv/riscv.c
+/riscv/riscv_c
 
 /x86/x86.lem
 /x86/x86.ml
-- 
cgit v1.2.3