update

pitmonticone · Jun 6, 2024 · eb7cee5 · eb7cee5
1 parent 3351299
commit eb7cee5
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git 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
@@ -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}