From c2dfffffb7586662c67e44a2d255a1a97ab0398b Mon Sep 17 00:00:00 2001
From: Josh Chen
Date: Thu, 2 Apr 2020 17:57:48 +0200
Subject: Brand-spanking new version using Spartan infrastructure

---
 .gitignore | 13 ++-----------
 1 file changed, 2 insertions(+), 11 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index e863a1e..160465a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,12 +1,3 @@
-.directory
-*.thy~
+*~
 \#*.thy#
-
-ex/*.thy~
-ex/\#*.thy#
-
-ex/Hott book/*.thy~
-ex/Hott book/\#*.thy#
-
-tests/*.thy~
-tests/\#*.thy#
+\#*.ML#
-- 
cgit v1.2.3