Index: doc/working/.gitignore
===================================================================
--- doc/working/.gitignore	(revision 40744af8b1bb93262cbdaa65ccf399c6df297cc7)
+++ doc/working/.gitignore	(revision 40744af8b1bb93262cbdaa65ccf399c6df297cc7)
@@ -0,0 +1,4 @@
+.declarative_resolver.tex.swp
+declarative_resolver.aux
+declarative_resolver.log
+declarative_resolver.pdf