change margins again. Added text showing margin width with our font i…

…s similar to that of LNCS
epfl-lara · Dec 28, 2023 · 0e61350 · 0e61350
1 parent 7e38128
commit 0e61350
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/refman/lisa.pdf b/refman/lisa.pdf
diff --git a/refman/lisa.tex b/refman/lisa.tex
@@ -1,10 +1,10 @@
 % !TEX program = xelatex
 
 % Page size:
-\documentclass[11pt,b5paper,fullpage]{book}
+\documentclass[11pt,b5paper]{book}
   % Reduce margins whatever the original text area size was.
   \edef\mtht{\the\textheight}
-  \edef\mtwd{\the\textwidth}
+  \edef\mtwd{\dimexpr\the\textwidth+1cm}
   \usepackage[paperwidth=\dimexpr\mtwd+1.4cm\relax,
               paperheight=\dimexpr\mtht+1.8cm\relax,
               text={\mtwd,\mtht},

diff --git a/refman/theorytopics.tex b/refman/theorytopics.tex
@@ -1,6 +1,8 @@
 \chapter{Selected Theoretical Topics}
 \label{part:theory}
 
+Algorithms and techniques to solve and reduce formulas in propositional logic (and its generalizations) are a major field of study. They have prime relevance in SAT and SMT solving algorithms. Lisa makes use of some of them: some of the in the kernel, others as available tactics. 
+
 \section{Set Theory and Mathematical Logic}
 \subsection{First Order Logic with Schematic Variables}
 \label{sec:theoryfol}