diff options
author | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
---|---|---|
committer | Carlo Zancanaro <carlo@pc-4w14-0.cs.usyd.edu.au> | 2012-09-05 10:25:19 +1000 |
commit | 608cf2e6a2ccc967e82b2b7a9693fd0bafb778fb (patch) | |
tree | 02a4f4136e50af3865df5acefc9174f73004c10a /tex/presentation/thomas/main.toc | |
parent | 35d53c78a4afd739d1246db486f2703e44590eda (diff) |
Delete a lot of tex stuff, better debug info
Some other stuff, too, I think. Oh well. No biggie!
Diffstat (limited to 'tex/presentation/thomas/main.toc')
-rw-r--r-- | tex/presentation/thomas/main.toc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tex/presentation/thomas/main.toc b/tex/presentation/thomas/main.toc deleted file mode 100644 index b23f829..0000000 --- a/tex/presentation/thomas/main.toc +++ /dev/null @@ -1,5 +0,0 @@ -\beamer@endinputifotherversion {3.10pt} -\beamer@sectionintoc {0}{Title}{1}{0}{1} -\beamer@sectionintoc {1}{Abstract Interpretation using Zones}{4}{0}{2} -\beamer@sectionintoc {2}{Max-Strategy Iteration}{15}{0}{3} -\beamer@sectionintoc {3}{Conclusion}{28}{0}{4} |