Changeset 101cc3a for doc/theses

Timestamp:

Jan 13, 2021, 1:03:49 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

a00bc5b, bace538

Parents:

1dfe6a6

Message:

add references to table of contents

Location:

doc/theses

Files:

• fangren_yu_COOP_F20/Report.tex (modified) (1 diff)
• fangren_yu_COOP_S20/Report.tex (modified) (2 diffs)

doc/theses/fangren_yu_COOP_F20/Report.tex

@@ -513 +513 @@
 The \CFA team are planning on a public alpha release of the language as the compiler performance becomes promising, and other parts of the system, such as a standard library, are also being enhanced. Ideally, the remaining problems should be resolved before release, and the solutions will also be integral to drafting a formal specification. 
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}

doc/theses/fangren_yu_COOP_S20/Report.tex

@@ -56 +56 @@
 
 \title{\Huge
-cfa-cc Developer's Reference
+\lstinline|cfa-cc| Developer's Reference
 }% title
 
@@ -728 +728 @@
 The \CFA compiler sets a limit on assertion depth and reports an error if assertion resolution does not terminate within the limit (as for \lstinline[language=C++]@templates@ in \CC).
 
+\addcontentsline{toc}{section}{\refname}
 \bibliographystyle{plain}
 \bibliography{pl}