diff --git a/blueprint/src/print.tex b/blueprint/src/print.tex index 934d50f..300a08a 100644 --- a/blueprint/src/print.tex +++ b/blueprint/src/print.tex @@ -38,8 +38,10 @@ \date{\today} \begin{document} + % Add the title \maketitle + % Add the abstract \begin{abstract} This paper serves as the blueprint for the project aimed at formalising Fermat’s Last Theorem @@ -50,6 +52,7 @@ and imported as a dependency in the broader formalisation project of Fermat's Last Theorem (\href{https://github.com/ImperialCollegeLondon/FLT}{FLT}) led by Kevin Buzzard and Richard Taylor. \end{abstract} + % Add the table of contents \tableofcontents diff --git a/blueprint/src/web.tex b/blueprint/src/web.tex index 1f818d8..6a40d3c 100644 --- a/blueprint/src/web.tex +++ b/blueprint/src/web.tex @@ -46,8 +46,10 @@ \addbibresource{references.bib} \begin{document} + % Add the title \maketitle + % Add the abstract \begin{abstract} This website serves as the blueprint for the project aimed at formalising Fermat’s Last Theorem @@ -58,6 +60,7 @@ and imported as a dependency in the broader formalisation project of Fermat's Last Theorem (\href{https://github.com/ImperialCollegeLondon/FLT}{FLT}) led by Kevin Buzzard and Richard Taylor. \end{abstract} + % Add main contents \input{main}