Palmed: add labels

This commit is contained in:
Théophile Bastian 2023-09-20 15:51:04 +02:00
parent 327022ff55
commit f3fbbf3b6b
2 changed files with 2 additions and 2 deletions

View file

@ -1,4 +1,4 @@
\section{Main contribution: evaluating \palmed{}} \section{Main contribution: evaluating \palmed{}}\label{sec:palmed_results}
The main contribution I made to \palmed{} is its evaluation harness and The main contribution I made to \palmed{} is its evaluation harness and
procedure. \todo{} procedure. \todo{}

View file

@ -1,4 +1,4 @@
\chapter{\palmed{}: automatically modelling the backend} \chapter{\palmed{}: automatically modelling the backend}\label{chap:palmed}
\input{00_intro.tex} \input{00_intro.tex}
\input{10_resource_models.tex} \input{10_resource_models.tex}