From 519f5952b03a079b62c770cd4ec5d5f85163d921 Mon Sep 17 00:00:00 2001
From: Floris van Doorn <fpv@andrew.cmu.edu>
Date: Fri, 20 Nov 2015 12:58:16 -0500
Subject: [PATCH] add .gitignore and .project files

---
 .gitignore | 28 ++++++++++++++++++++++++++++
 .project   | 10 ++++++++++
 2 files changed, 38 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 .project

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0c8c123
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,28 @@
+*~
+.lean_trace
+*.produced.out
+*.md.lua
+*.md.lean
+*.olean
+*.clean
+*.ilean
+*.d
+a.out
+build
+GPATH
+GRTAGS
+GSYMS
+GTAGS
+Makefile
+*.cmake
+CMakeFiles/
+.projectile
+.coveralls.yml
+.lean_options
+doc/html
+make.deps
+src/emacs/dependencies
+compile_commands.json
+.ninja_deps
+.ninja_log
+build.ninja
\ No newline at end of file
diff --git a/.project b/.project
new file mode 100644
index 0000000..96c4378
--- /dev/null
+++ b/.project
@@ -0,0 +1,10 @@
+# Lean project file
+
+# Include all .hlean files under this directory
++ *.hlean
+
+# Exclude flycheck generated temp files
+- flycheck*.hlean
+
+# Exclude emacs temp files
+- .#*.hlean
\ No newline at end of file