equal
deleted
inserted
replaced
84 |
84 |
85 \appendix |
85 \appendix |
86 |
86 |
87 \input{text/famodiff} |
87 \input{text/famodiff} |
88 |
88 |
|
89 \input{text/comparing_defs} |
|
90 |
89 \input{text/misc_appendices} |
91 \input{text/misc_appendices} |
90 |
92 |
91 \input{text/obsolete} |
93 %\input{text/obsolete} |
92 |
94 |
93 % ---------------------------------------------------------------- |
95 % ---------------------------------------------------------------- |
94 %\newcommand{\urlprefix}{} |
96 %\newcommand{\urlprefix}{} |
95 \bibliographystyle{plain} |
97 \bibliographystyle{plain} |
96 %Included for winedt: |
98 %Included for winedt: |