diff -r 4a9c9085fb85 -r 58b86413b39b ecp/ecoop_paper.out
--- a/ecp/ecoop_paper.out	Tue Jun 25 22:43:21 2019 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-\BOOKMARK [1][-]{section.1}{Introduction}{}% 1
-\BOOKMARK [1][-]{section.2}{The Algorithms by Brzozowski, and Sulzmann and Lu}{}% 2
-\BOOKMARK [1][-]{section.3}{Simplification of Regular Expressions}{}% 3
-\BOOKMARK [1][-]{section.4}{Conclusion}{}% 4