Mercurial Mercurial > hg > cst_tests / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ecp/ecoop_paper.aux
author Christian Urban <urbanc@in.tum.de>
Tue, 25 Jun 2019 22:43:21 +0100
changeset 18 4a9c9085fb85
parent 17 3241b1e71633
permissions -rw-r--r--
deleted data-files and further unnecessary parts in data.sty
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17
Chengsong
parents:
diff changeset 
     1
 
\relax
Chengsong
parents:
diff changeset 
     2
 
\providecommand\hyper@newdestlabel[2]{}
Chengsong
parents:
diff changeset 
     3
 
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
Chengsong
parents:
diff changeset 
     4
 
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
Chengsong
parents:
diff changeset 
     5
 
\global\let\oldcontentsline\contentsline
Chengsong
parents:
diff changeset 
     6
 
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
Chengsong
parents:
diff changeset 
     7
 
\global\let\oldnewlabel\newlabel
Chengsong
parents:
diff changeset 
     8
 
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
Chengsong
parents:
diff changeset 
     9
 
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
Chengsong
parents:
diff changeset 
    10
 
\AtEndDocument{\ifx\hyper@anchor\@undefined
Chengsong
parents:
diff changeset 
    11
 
\let\contentsline\oldcontentsline
Chengsong
parents:
diff changeset 
    12
 
\let\newlabel\oldnewlabel
Chengsong
parents:
diff changeset 
    13
 
\fi}
Chengsong
parents:
diff changeset 
    14
 
\fi}
Chengsong
parents:
diff changeset 
    15
 
\global\let\hyper@last\relax
Chengsong
parents:
diff changeset 
    16
 
\gdef\HyperFirstAtBeginDocument#1{#1}
Chengsong
parents:
diff changeset 
    17
 
\providecommand\HyField@AuxAddToFields[1]{}
Chengsong
parents:
diff changeset 
    18
 
\providecommand\HyField@AuxAddToCoFields[2]{}
Chengsong
parents:
diff changeset 
    19
 
\citation{Davis18}
18
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    20
 
\select@language{UKenglish}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    21
 
\@writefile{toc}{\select@language{UKenglish}}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    22
 
\@writefile{lof}{\select@language{UKenglish}}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    23
 
\@writefile{lot}{\select@language{UKenglish}}
17
Chengsong
parents:
diff changeset 
    24
 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
Chengsong
parents:
diff changeset 
    25
 
\citation{AusafDyckhoffUrban2016}
Chengsong
parents:
diff changeset 
    26
 
\citation{OkuiSuzuki2010}
Chengsong
parents:
diff changeset 
    27
 
\citation{Vansummeren2006}
Chengsong
parents:
diff changeset 
    28
 
\citation{CrashCourse2014}
Chengsong
parents:
diff changeset 
    29
 
\citation{Kuklewicz}
Chengsong
parents:
diff changeset 
    30
 
\citation{Sulzmann2014}
Chengsong
parents:
diff changeset 
    31
 
\citation{Brzozowski1964}
Chengsong
parents:
diff changeset 
    32
 
\@writefile{toc}{\contentsline {section}{\numberline {2}The Algorithms by Brzozowski, and Sulzmann and Lu}{2}{section.2}}
Chengsong
parents:
diff changeset 
    33
 
\citation{Sulzmann2014}
Chengsong
parents:
diff changeset 
    34
 
\citation{Sulzmann2014}
Chengsong
parents:
diff changeset 
    35
 
\citation{AusafDyckhoffUrban2016}
Chengsong
parents:
diff changeset 
    36
 
\citation{Antimirov95}
Chengsong
parents:
diff changeset 
    37
 
\citation{Sulzmann2014}
Chengsong
parents:
diff changeset 
    38
 
\@writefile{toc}{\contentsline {section}{\numberline {3}Simplification of Regular Expressions}{4}{section.3}}
Chengsong
parents:
diff changeset 
    39
 
\citation{Sulzmann2014}
Chengsong
parents:
diff changeset 
    40
 
\@writefile{toc}{\contentsline {section}{\numberline {4}Conclusion}{5}{section.4}}
Chengsong
parents:
diff changeset 
    41
 
\bibstyle{plain}
Chengsong
parents:
diff changeset 
    42
 
\bibdata{root}
18
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    43
 
\bibcite{Antimirov95}{1}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    44
 
\bibcite{AusafDyckhoffUrban2016}{2}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    45
 
\bibcite{Brzozowski1964}{3}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    46
 
\bibcite{Davis18}{4}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    47
 
\bibcite{CrashCourse2014}{5}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    48
 
\bibcite{Kuklewicz}{6}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    49
 
\bibcite{OkuiSuzuki2010}{7}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    50
 
\bibcite{Sulzmann2014}{8}
4a9c9085fb85 deleted data-files and further unnecessary parts in data.sty
Christian Urban <urbanc@in.tum.de>
parents: 17
diff changeset 
    51
 
\bibcite{Vansummeren2006}{9}
17
Chengsong
parents:
diff changeset 
    52
 
\newlabel{LastPage}{{}{6}{}{page.6}{}}
Chengsong
parents:
diff changeset 
    53
 
\xdef\lastpage@lastpage{6}
Chengsong
parents:
diff changeset 
    54
 
\xdef\lastpage@lastpageHy{6}
cst_tests