[ifi-stolz-refaktor.git] / thesis / master-thesis-erlenkr.tdo

\defcounter {refsection}{0}\relax 
\contentsline {todo}{sequential?}{1}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{what does he mean by internal?}{1}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{original?}{1}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{better?: functionality}{2}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{Proof?}{2}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{But is the result better?}{8}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{What about the language specific part?}{9}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{\dots }{11}
\defcounter {refsection}{0}\relax 
\contentsline {todo}{Where to put this section?}{13}
Commit	Line	Data
00aa0588	1	\defcounter {refsection}{0}\relax
055dca93	2	\contentsline {todo}{sequential?}{1}
00aa0588	3	\defcounter {refsection}{0}\relax
055dca93	4	\contentsline {todo}{what does he mean by internal?}{1}
00aa0588	5	\defcounter {refsection}{0}\relax
055dca93	6	\contentsline {todo}{original?}{1}
00aa0588	7	\defcounter {refsection}{0}\relax
055dca93	8	\contentsline {todo}{better?: functionality}{2}
00aa0588	9	\defcounter {refsection}{0}\relax
055dca93	10	\contentsline {todo}{Proof?}{2}
00aa0588	11	\defcounter {refsection}{0}\relax
055dca93	12	\contentsline {todo}{But is the result better?}{8}
8fae7b44	13	\defcounter {refsection}{0}\relax
07e173d4	14	\contentsline {todo}{What about the language specific part?}{9}
f041551b	15	\defcounter {refsection}{0}\relax
80663734 EK	16	\contentsline {todo}{\dots }{11}
	17	\defcounter {refsection}{0}\relax
	18	\contentsline {todo}{Where to put this section?}{13}