diff -r 4cf3a4d36799 -r 9876d73adb2b .hgignore
--- a/.hgignore	Tue May 22 14:00:59 2012 +0200
+++ b/.hgignore	Tue May 22 14:55:58 2012 +0200
@@ -27,3 +27,10 @@
 Pearl/document.pdf
 pearl.pdf
 
+Nominal/Ex/SFT/generated
+Nominal/Ex/SFT/document.pdf
+sft-paper.pdf
+
+Nominal/Ex/Exec/generated
+Nominal/Ex/Exec/document.pdf
+exec-paper.pdf