Skip to content
Snippets Groups Projects

General grammatical updates for reference manual

Merged General grammatical updates for reference manual
github/fork/sankalpgambhir/main into main
Merged Sankalp Gambhir requested to merge github/fork/sankalpgambhir/main into main
Compare
and
3 files
+ 120
− 103
Compare changes
  • Side-by-side
  • Inline
Files
3
Reference Manual/lisa.tex
+ 1
− 2
@@ -56,8 +56,7 @@ escapeinside={(*@}{@*)}
\begin{document}
\maketitle
\chapter*{Introduction}
This document aims to give a complete documentation on LISA. Tentatively, every chapter and section will explain a part or concept of LISA, and explains both its implementation and its theoretical foundations.
\cite{DBLP:conf/tacas/GuilloudK22}
This document aims to give a complete documentation on LISA. Tentatively, every chapter and section will explain a part or concept of LISA, and explains both its implementation and its theoretical foundations \cite{DBLP:conf/tacas/GuilloudK22}.
\input{part1.tex}