diff -r c51178fa85fe -r 3241b1e71633 ecp/ecoop_paper.out
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ecp/ecoop_paper.out	Tue Jun 25 18:56:52 2019 +0100
@@ -0,0 +1,4 @@
+\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